diff options
Diffstat (limited to 'stdlib/source/lux/type.lux')
-rw-r--r-- | stdlib/source/lux/type.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index d8288314c..c540e6499 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -4,7 +4,8 @@ [equivalence (#+ Equivalence)] [monad (#+ Monad do)]] [control - ["p" parser] + ["p" parser + ["s" code (#+ Parser)]] ["." function]] [data ["." text ("#@." monoid equivalence)] @@ -17,7 +18,7 @@ ["." list ("#@." functor monoid fold)]]] ["." macro ["." code] - ["s" syntax (#+ Syntax syntax:)]]]) + [syntax (#+ syntax:)]]]) (template [<name> <tag>] [(def: #export (<name> type) @@ -365,7 +366,7 @@ (..:log! (~ g!value))))))))) (def: type-parameters - (Syntax (List Text)) + (Parser (List Text)) (s.tuple (p.some s.local-identifier))) (syntax: #export (:cast {type-vars type-parameters} @@ -387,7 +388,7 @@ #expression Code}) (def: typed - (Syntax Typed) + (Parser Typed) (s.record (p.and s.any s.any))) ## TODO: Make sure the generated code always gets optimized away. |