diff options
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/loop.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux index d17d3dfe2..40f8ef0de 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux @@ -55,7 +55,7 @@ valuesI+ (monad.map @ (function (_ [register argS]) (: (Operation Inst) (if (invariant? register argS) - (wrap function.identity) + (in function.identity) (translate archive argS)))) pairs) #let [storesI+ (list@map (function (_ [register argS]) @@ -63,10 +63,10 @@ (if (invariant? register argS) function.identity (_.ASTORE register)))) - (list.reverse pairs))]] - (wrap (|>> (_.fuse valuesI+) - (_.fuse storesI+) - (_.GOTO @begin))))) + (list.reversed pairs))]] + (in (|>> (_.fuse valuesI+) + (_.fuse storesI+) + (_.GOTO @begin))))) (def: #export (scope translate archive [start initsS+ iterationS]) (Generator [Nat (List Synthesis) Synthesis]) @@ -80,6 +80,6 @@ (|>> initI (_.ASTORE (n.+ start register))))) _.fuse)]] - (wrap (|>> initializationI - (_.label @begin) - iterationI)))) + (in (|>> initializationI + (_.label @begin) + iterationI)))) |