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/case.lux | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/case.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux index b8ef09945..a6d0a725f 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux @@ -2,38 +2,38 @@ [library [lux {"-" [Type Label if let case]} [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." function] + ["[0]" function] ["ex" exception {"+" [exception:]}]] [data [collection - ["." list ("#@." mix)]]] + ["[0]" list ("[1]@[0]" mix)]]] [math [number ["n" nat]]] [target [jvm - ["." type {"+" [Type]} - ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}] - ["." descriptor {"+" [Descriptor]}] - ["." signature {"+" [Signature]}]]]] + ["[0]" type {"+" [Type]} + ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}] + ["[0]" descriptor {"+" [Descriptor]}] + ["[0]" signature {"+" [Signature]}]]]] [tool [compiler - ["." phase ("operation@." monad)] + ["[0]" phase ("operation@[0]" monad)] [meta [archive {"+" [Archive]}]] [language [lux - ["." synthesis {"+" [Path Synthesis]}]]]]]]] + ["[0]" synthesis {"+" [Path Synthesis]}]]]]]]] [luxc [lang [host ["$" jvm {"+" [Label Inst Operation Phase Generator]} ["_" inst]]]]] - ["." // - ["." runtime] - ["." structure]]) + ["[0]" // + ["[0]" runtime] + ["[0]" structure]]) (def: (pop_altI stack_depth) (-> Nat Inst) |