diff options
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/loop.lux | 14 |
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) |