aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/loop.lux')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/loop.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 1583cbed3..7d037280d 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -2,30 +2,30 @@
[library
[lux "*"
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." function]]
+ ["[0]" function]]
[data
[collection
- ["." list ("#@." functor monoid)]]]
+ ["[0]" list ("[1]@[0]" functor monoid)]]]
[math
[number
["n" nat]]]
[tool
[compiler
- ["." phase]
+ ["[0]" phase]
[reference
[variable {"+" [Register]}]]
[language
[lux
- ["." synthesis {"+" [Synthesis]}]
- ["." generation]]]]]]]
+ ["[0]" synthesis {"+" [Synthesis]}]
+ ["[0]" generation]]]]]]]
[luxc
[lang
[host
[jvm {"+" [Inst Operation Phase Generator]}
["_" inst]]]]]
- ["." //])
+ ["[0]" //])
(def: (invariant? expected actual)
(-> Register Synthesis Bit)