diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/loop.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/loop.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.lux index d7e706aaf..5b4f981f6 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.lux @@ -5,8 +5,8 @@ [control ["." function]] [data - ["." text - format] + [number + ["n" nat]] [collection ["." list ("#/." functor monoid)]]] [tool @@ -26,7 +26,7 @@ (-> Register Synthesis Bit) (case changeS (^ (synthesis.variable/local var)) - (n/= register var) + (n.= register var) _ #0)) @@ -35,7 +35,7 @@ (-> Phase (List Synthesis) (Operation Inst)) (do phase.monad [[@begin start] generation.anchor - #let [end (|> argsS list.size dec (n/+ start)) + #let [end (|> argsS list.size dec (n.+ start)) pairs (list.zip2 (list.n/range start end) argsS)] ## It may look weird that first I compile the values separately, @@ -72,7 +72,7 @@ #let [initializationI (|> (list.enumerate initsI+) (list/map (function (_ [register initI]) (|>> initI - (_.ASTORE (n/+ start register))))) + (_.ASTORE (n.+ start register))))) _.fuse)]] (wrap (|>> initializationI (_.label @begin) |