aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/jvm/loop.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/loop.lux10
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)