aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/type/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/type/lux.lux')
-rw-r--r--stdlib/source/library/lux/target/jvm/type/lux.lux18
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)))