diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/type/lux.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index 7aeeea7d9..ab0c0e76d 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -6,18 +6,18 @@ [control ["[0]" try] ["[0]" exception {"+" [exception:]}] - ["<>" parser ("[1]\[0]" monad) + ["<>" parser ("[1]#[0]" monad) ["<[0]>" text {"+" [Parser]}]]] [data ["[0]" product] - ["[0]" text ("[1]\[0]" equivalence) + ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" [format]}]] [collection ["[0]" array] ["[0]" dictionary {"+" [Dictionary]}]]] [type abstract - ["[0]" check {"+" [Check]} ("[1]\[0]" monad)]]]] + ["[0]" check {"+" [Check]} ("[1]#[0]" monad)]]]] ["[0]" // [category {"+" [Void Value Return Method Primitive Object Class Array Var Parameter]}] ["[1][0]" descriptor] @@ -49,13 +49,13 @@ (def: void (Parser (Check Type)) (<>.after //parser.void - (<>\in (check\in .Any)))) + (<>#in (check#in .Any)))) (template [<name> <parser> <reflection>] [(def: <name> (Parser (Check Type)) (<>.after <parser> - (<>\in (check\in {.#Primitive (//reflection.reflection <reflection>) {.#End}}))))] + (<>#in (check#in {.#Primitive (//reflection.reflection <reflection>) {.#End}}))))] [boolean //parser.boolean //reflection.boolean] [byte //parser.byte //reflection.byte] @@ -71,7 +71,7 @@ [(def: <name> (Parser (Check Type)) (<>.after <parser> - (<>\in (check\in {.#Primitive <box> {.#End}}))))] + (<>#in (check#in {.#Primitive <box> {.#End}}))))] [boxed_boolean //parser.boolean //box.boolean] [boxed_byte //parser.byte //box.byte] @@ -112,7 +112,7 @@ (def: wildcard (Parser (Check Type)) (<>.after //parser.wildcard - (<>\in (check\each product.right + (<>#in (check#each product.right check.existential)))) (def: (var mapping) @@ -124,7 +124,7 @@ (check.except ..unknown_var [var]) {.#Some type} - (check\in type))))) + (check#in type))))) (def: (class' parameter) (-> (Parser (Check Type)) (Parser (Check Type))) @@ -145,7 +145,7 @@ (-> (Parser (Check Type)) (Parser (Check Type))) (|> (<>.after (<text>.this <prefix>)) ... TODO: Re-enable Lower and Upper, instead of using the simplified limit. - ... (<>\each (check\each (|>> <ctor> .type))) + ... (<>#each (check#each (|>> <ctor> .type))) ))] [lower //signature.lower_prefix ..Lower] @@ -171,11 +171,11 @@ (def: array (-> (Parser (Check Type)) (Parser (Check Type))) - (|>> (<>\each (check\each (function (_ elementT) + (|>> (<>#each (check#each (function (_ elementT) (case elementT {.#Primitive name {.#End}} (if (`` (or (~~ (template [<reflection>] - [(text\= (//reflection.reflection <reflection>) name)] + [(text#= (//reflection.reflection <reflection>) name)] [//reflection.boolean] [//reflection.byte] |