diff options
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/type/lux.lux')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/type/lux.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index ee5734d6d..7aeeea7d9 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -55,7 +55,7 @@ [(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] @@ -120,10 +120,10 @@ (do <>.monad [var //parser.var'] (in (case (dictionary.value var mapping) - #.None + {.#None} (check.except ..unknown_var [var]) - {#.Some type} + {.#Some type} (check\in type))))) (def: (class' parameter) @@ -136,7 +136,7 @@ (<>.else (list)))] (in (do [! check.monad] [parameters (monad.all ! parameters)] - (in {#.Primitive name parameters})))) + (in {.#Primitive name parameters})))) (<>.after (<text>.this //descriptor.class_prefix)) (<>.before (<text>.this //descriptor.class_suffix)))) @@ -173,7 +173,7 @@ (-> (Parser (Check Type)) (Parser (Check Type))) (|>> (<>\each (check\each (function (_ elementT) (case elementT - {#.Primitive name #.End} + {.#Primitive name {.#End}} (if (`` (or (~~ (template [<reflection>] [(text\= (//reflection.reflection <reflection>) name)] @@ -185,7 +185,7 @@ [//reflection.float] [//reflection.double] [//reflection.char])))) - {#.Primitive (|> name //reflection.class //reflection.array //reflection.reflection) #.End} + {.#Primitive (|> name //reflection.class //reflection.array //reflection.reflection) {.#End}} (|> elementT array.Array .type)) _ @@ -229,8 +229,8 @@ (def: .public (check operation input) (All (_ a) (-> (Parser (Check a)) Text (Check a))) (case (<text>.result operation input) - {#try.Success check} + {try.#Success check} check - {#try.Failure error} + {try.#Failure error} (check.failure error))) |