diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/generator/structure.jvm.lux | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/generator/structure.jvm.lux b/new-luxc/source/luxc/generator/structure.jvm.lux index a89f3083f..6aca0dca1 100644 --- a/new-luxc/source/luxc/generator/structure.jvm.lux +++ b/new-luxc/source/luxc/generator/structure.jvm.lux @@ -36,7 +36,9 @@ memberI $i;AASTORE))))) (:: @ map $i;fuse))] - (wrap (|>. ($i;array $Object size) membersI)))) + (wrap (|>. ($i;int (nat-to-int size)) + ($i;array $Object) + membersI)))) (def: (flagI tail?) (-> Bool $;Inst) |