diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/type.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index 929967e84..79f13333d 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -183,7 +183,7 @@ ([#.Sum] [#.Product] [#.Function] [#.Apply]) (#.Named name sub-type) - (code.symbol name) + (code.identifier name) (^template [<tag>] (<tag> env body) @@ -336,7 +336,7 @@ +0 elem-type _ (|> elem-type (array (dec level)) (list) (#.Primitive "#Array")))) -(syntax: #export (:log! {input (p.alt s.symbol +(syntax: #export (:log! {input (p.alt s.identifier s.any)}) (case input (#.Left valueN) @@ -355,13 +355,13 @@ (def: type-parameters (Syntax (List Text)) - (s.tuple (p.some s.local-symbol))) + (s.tuple (p.some s.local-identifier))) (syntax: #export (:cast {type-vars type-parameters} input output {value (p.maybe s.any)}) - (let [casterC (` (: (All [(~+ (list/map code.local-symbol type-vars))] + (let [casterC (` (: (All [(~+ (list/map code.local-identifier type-vars))] (-> (~ input) (~ output))) (|>> :assume)))] (case value @@ -383,7 +383,7 @@ {exemplar typed} {computation typed}) (macro.with-gensyms [g!_] - (let [shareC (` (: (All [(~+ (list/map code.local-symbol type-vars))] + (let [shareC (` (: (All [(~+ (list/map code.local-identifier type-vars))] (-> (~ (get@ #type exemplar)) (~ (get@ #type computation)))) (.function ((~ g!_) (~ g!_)) |