diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/case.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/case.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux index 04a9571a9..032b058df 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux @@ -1,11 +1,11 @@ (.module: [library - [lux {"-" [Type Label if let case]} + [lux {"-" Type Label if let case} [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" function] - ["ex" exception {"+" [exception:]}]] + ["ex" exception {"+" exception:}]] [data [collection ["[0]" list ("[1]@[0]" mix)]]] @@ -14,22 +14,22 @@ ["n" nat]]] [target [jvm - ["[0]" type {"+" [Type]} - ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}] - ["[0]" descriptor {"+" [Descriptor]}] - ["[0]" 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 ["[0]" phase ("operation@[0]" monad)] [meta - [archive {"+" [Archive]}]] + [archive {"+" Archive}]] [language [lux - ["[0]" synthesis {"+" [Path Synthesis]}]]]]]]] + ["[0]" synthesis {"+" Path Synthesis}]]]]]]] [luxc [lang [host - ["$" jvm {"+" [Label Inst Operation Phase Generator]} + ["$" jvm {"+" Label Inst Operation Phase Generator} ["_" inst]]]]] ["[0]" // ["[0]" runtime] |