[COMMITTED] pkl-rt: use array indexing instead of apush in iolist

[Jose E. Marchesi]

2023-01-23  Jose E. Marchesi  <jemarch@gnu.org>

        * libpoke/pkl-rt.pk (iolist): Use array indexing instead of
        `apush'.
---
 ChangeLog         | 5 +++++
 libpoke/pkl-rt.pk | 8 ++++----
 2 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index e3b6a1d1..254b937a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2023-01-23  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * libpoke/pkl-rt.pk (iolist): Use array indexing instead of
+       `apush'.
+
 2023-01-23  Jose E. Marchesi  <jemarch@gnu.org>
 
        * testsuite/poke.pkl/typeof-struct-2.pk: Likewise.
diff --git a/libpoke/pkl-rt.pk b/libpoke/pkl-rt.pk
index f39d012a..acde58df 100644
--- a/libpoke/pkl-rt.pk
+++ b/libpoke/pkl-rt.pk
@@ -892,13 +892,13 @@ immutable fun iobias = (int<32> ios = get_ios) 
offset<uint<64>,1>:
   return asm offset<uint<64>,1>: ("iogetb; nip" : ios);
 }
 
-immutable fun iolist = int<32>[]:
+immutable fun iolist = int<32>[2]:
 {
-  var a = int<32>[] (),
-      n = asm uint<64>: ("ionum");
+  var n = asm uint<64>: ("ionum"),
+      a = int<32>[n] ();
 
   for (var i = 0UL; i < n; ++i)
-    apush (a, asm int<32>: ("ioref; nip" : i));
+    a[i] = asm int<32>: ("ioref; nip" : i);
   return a;
 }
 
-- 
2.30.2