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 4c385c0e4..41511f300 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 - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] - ["ex" exception (#+ exception:)]] + ["ex" exception {"+" [exception:]}]] [data [collection ["." list ("#@." mix)]]] @@ -14,22 +14,22 @@ ["n" nat]]] [target [jvm - ["." type (#+ Type) - ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)] - ["." descriptor (#+ Descriptor)] - ["." signature (#+ Signature)]]]] + ["." type {"+" [Type]} + ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}] + ["." descriptor {"+" [Descriptor]}] + ["." signature {"+" [Signature]}]]]] [tool [compiler ["." phase ("operation@." monad)] [meta - [archive (#+ Archive)]] + [archive {"+" [Archive]}]] [language [lux - ["." synthesis (#+ Path Synthesis)]]]]]]] + ["." synthesis {"+" [Path Synthesis]}]]]]]]] [luxc [lang [host - ["$" jvm (#+ Label Inst Operation Phase Generator) + ["$" jvm {"+" [Label Inst Operation Phase Generator]} ["_" inst]]]]] ["." // ["." runtime] |