diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /lux-jvm/source/luxc/lang/translation/jvm/loop.lux | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
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) |