diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/constant.lux | 16 | ||||
-rw-r--r-- | stdlib/source/library/lux/target/jvm/constant/pool.lux | 22 | ||||
-rw-r--r-- | stdlib/source/library/lux/target/jvm/constant/tag.lux | 6 |
3 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index d4841fd43..41a196162 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -2,23 +2,23 @@ [library [lux "*" ["@" target] - ["[0]" ffi {"+" [import:]}] + ["[0]" ffi {"+" import:}] [abstract - [monad {"+" [do]}] - ["[0]" equivalence {"+" [Equivalence]}]] + [monad {"+" do}] + ["[0]" equivalence {"+" Equivalence}]] [data ["[0]" sum] ["[0]" product] ["[0]" text] [format - ["[0]F" binary {"+" [Writer]} ("[1]#[0]" monoid)]] + ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]] [collection - ["[0]" row {"+" [Row]}]]] + ["[0]" row {"+" Row}]]] [macro ["[0]" template]] [math [number - ["[0]" i32 {"+" [I32]}] + ["[0]" i32 {"+" I32}] ["[0]" i64] ["[0]" int] ["[0]" frac]]] @@ -27,10 +27,10 @@ ["[0]" / "_" ["[1][0]" tag] ["/[1]" // "_" - ["[1][0]" index {"+" [Index]}] + ["[1][0]" index {"+" Index}] [type ["[1][0]" category] - ["[1][0]" descriptor {"+" [Descriptor]}]] + ["[1][0]" descriptor {"+" Descriptor}]] [encoding ["[1][0]" unsigned]]]]) diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index f3cab4463..8451bfdfa 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -3,18 +3,18 @@ [lux "*" ["[0]" ffi] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [Monad do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" Monad do}]] [control - ["[0]" state {"+" [+State]}] - ["[0]" try {"+" [Try]}]] + ["[0]" state {"+" +State}] + ["[0]" try {"+" Try}]] [data ["[0]" product] ["[0]" text] ["[0]" format "_" - ["[1]" binary {"+" [Writer]} ("specification#[0]" monoid)]] + ["[1]" binary {"+" Writer} ("specification#[0]" monoid)]] [collection - ["[0]" row {"+" [Row]} ("[1]#[0]" mix)]]] + ["[0]" row {"+" Row} ("[1]#[0]" mix)]]] [macro ["[0]" template]] [math @@ -25,15 +25,15 @@ ["[0]" frac]]] [type abstract]]] - ["[0]" // {"+" [UTF8 String Class Integer Float Long Double Constant Name_And_Type Reference]} + ["[0]" // {"+" UTF8 String Class Integer Float Long Double Constant Name_And_Type Reference} [// [encoding - ["[1][0]" name {"+" [Internal External]}] + ["[1][0]" name {"+" Internal External}] ["[1][0]" unsigned]] - ["[1][0]" index {"+" [Index]}] + ["[1][0]" index {"+" Index}] [type - [category {"+" [Value Method]}] - ["[1][0]" descriptor {"+" [Descriptor]}]]]]) + [category {"+" Value Method}] + ["[1][0]" descriptor {"+" Descriptor}]]]]) (type: .public Pool [Index (Row [Index Constant])]) diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux index 73ff384f4..ce2c1c887 100644 --- a/stdlib/source/library/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux @@ -2,17 +2,17 @@ [library [lux "*" [abstract - [equivalence {"+" [Equivalence]}]] + [equivalence {"+" Equivalence}]] [control ["[0]" try]] [data [format - [binary {"+" [Writer]}]]] + [binary {"+" Writer}]]] [type abstract]]] ["[0]" /// "_" [encoding - ["[1][0]" unsigned {"+" [U1]} ("u1//[0]" equivalence)]]]) + ["[1][0]" unsigned {"+" U1} ("u1//[0]" equivalence)]]]) (abstract: .public Tag U1 |