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 | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index ea9df2259..3224c9a24 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -49,13 +49,13 @@ (def: void (Parser (Check Type)) (<>.after //parser.void - (<>\wrap (check\wrap .Any)))) + (<>\in (check\in .Any)))) (template [<name> <parser> <reflection>] [(def: <name> (Parser (Check Type)) (<>.after <parser> - (<>\wrap (check\wrap (#.Primitive (//reflection.reflection <reflection>) #.Nil)))))] + (<>\in (check\in (#.Primitive (//reflection.reflection <reflection>) #.Nil)))))] [boolean //parser.boolean //reflection.boolean] [byte //parser.byte //reflection.byte] @@ -71,7 +71,7 @@ [(def: <name> (Parser (Check Type)) (<>.after <parser> - (<>\wrap (check\wrap (#.Primitive <box> #.Nil)))))] + (<>\in (check\in (#.Primitive <box> #.Nil)))))] [boxed_boolean //parser.boolean //box.boolean] [boxed_byte //parser.byte //box.byte] @@ -112,19 +112,19 @@ (def: wildcard (Parser (Check Type)) (<>.after //parser.wildcard - (<>\wrap (check\map product.right - check.existential)))) + (<>\in (check\map product.right + check.existential)))) (def: (var mapping) (-> Mapping (Parser (Check Type))) (do <>.monad [var //parser.var'] - (wrap (case (dictionary.get var mapping) - #.None - (check.throw ..unknown_var [var]) - - (#.Some type) - (check\wrap type))))) + (in (case (dictionary.get var mapping) + #.None + (check.except ..unknown_var [var]) + + (#.Some type) + (check\in type))))) (def: (class' parameter) (-> (Parser (Check Type)) (Parser (Check Type))) @@ -134,9 +134,9 @@ (<>.after (<text>.this //signature.parameters_start)) (<>.before (<text>.this //signature.parameters_end)) (<>.default (list)))] - (wrap (do {! check.monad} - [parameters (monad.seq ! parameters)] - (wrap (#.Primitive name parameters))))) + (in (do {! check.monad} + [parameters (monad.seq ! parameters)] + (in (#.Primitive name parameters))))) (<>.after (<text>.this //descriptor.class_prefix)) (<>.before (<text>.this //descriptor.class_suffix)))) |