diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-jvm/source/luxc/lang/directive/jvm.lux | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux index 8be0777a8..cce373dfc 100644 --- a/lux-jvm/source/luxc/lang/directive/jvm.lux +++ b/lux-jvm/source/luxc/lang/directive/jvm.lux @@ -1,35 +1,35 @@ (.module: [library - [lux (#- Type static local) - ["." ffi (#+ Inheritance Privacy State import:)] + [lux {"-" [Type static local]} + ["." ffi {"+" [Inheritance Privacy State import:]}] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control - [pipe (#+ case>)] - ["." try (#+ Try)] + [pipe {"+" [case>]}] + ["." try {"+" [Try]}] ["<>" parser - ["<.>" code (#+ Parser)] + ["<.>" code {"+" [Parser]}] ["<.>" text]]] [data - [identity (#+ Identity)] - [binary (#+ Binary)] + [identity {"+" [Identity]}] + [binary {"+" [Binary]}] ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection - [array (#+ Array)] + [array {"+" [Array]}] ["." list ("#\." mix functor monoid)] - ["." dictionary (#+ Dictionary)] - ["." row (#+ Row) ("#\." functor mix)]]] + ["." dictionary {"+" [Dictionary]}] + ["." row {"+" [Row]} ("#\." functor mix)]]] [math [number ["." nat]]] [target ["/" jvm [encoding - ["." name (#+ External)]] - ["#." type (#+ Type Constraint) - [category (#+ Void Value Return Primitive Object Class Var Parameter)] + ["." name {"+" [External]}]] + ["#." type {"+" [Type Constraint]} + [category {"+" [Void Value Return Primitive Object Class Var Parameter]}] ["." parser] [".T" lux] ["#/." signature] @@ -39,10 +39,10 @@ ["." phase] [language [lux - ["." analysis (#+ Analysis)] - ["." synthesis (#+ Synthesis)] + ["." analysis {"+" [Analysis]}] + ["." synthesis {"+" [Synthesis]}] ["." generation] - ["." directive (#+ Requirements)] + ["." directive {"+" [Requirements]}] [phase [analysis [".A" scope] @@ -54,10 +54,10 @@ [directive ["./" lux]]]]]] [meta - [archive (#+ Archive)]]]]]] + [archive {"+" [Archive]}]]]]]] [/// [host - ["." jvm (#+ Inst) + ["." jvm {"+" [Inst]} ["_" inst] ["." def]]] [translation |