diff options
Diffstat (limited to 'stdlib/source/poly/lux/abstract/functor.lux')
-rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 895d509be..b4c5e44a3 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -26,10 +26,10 @@ (poly: .public functor (do [! p.monad] - [.let [g!_ (code.local_identifier "____________") - type_funcC (code.local_identifier "____________type_funcC") - funcC (code.local_identifier "____________funcC") - inputC (code.local_identifier "____________inputC")] + [.let [g!_ (code.local_symbol "____________") + type_funcC (code.local_symbol "____________type_funcC") + funcC (code.local_symbol "____________funcC") + inputC (code.local_symbol "____________inputC")] *env* <type>.env inputT <type>.next [polyC varsC non_functorT] (<type>.local (list inputT) @@ -39,7 +39,7 @@ (function (_ unwrappedT) (if (n.= 1 num_vars) (` ((~! /.Functor) (~ (poly.code *env* unwrappedT)))) - (let [paramsC (|> num_vars -- list.indices (list#each (|>> %.nat code.local_identifier)))] + (let [paramsC (|> num_vars -- list.indices (list#each (|>> %.nat code.local_symbol)))] (` (All ((~ g!_) (~+ paramsC)) ((~! /.Functor) ((~ (poly.code *env* unwrappedT)) (~+ paramsC))))))))) Arg<?> (: (-> Code (<type>.Parser Code)) @@ -69,7 +69,7 @@ (<type>.tuple (loop [idx 0 pairsCC (: (List [Code Code]) (list))] - (p.either (let [slotC (|> idx %.nat (format "____________slot") code.local_identifier)] + (p.either (let [slotC (|> idx %.nat (format "____________slot") code.local_symbol)] (do ! [_ (in []) memberC (Arg<?> slotC)] @@ -82,13 +82,13 @@ ... Functions (do ! [_ (in []) - .let [g! (code.local_identifier "____________") - outL (code.local_identifier "____________outL")] + .let [g! (code.local_symbol "____________") + outL (code.local_symbol "____________outL")] [inT+ outC] (<type>.function (p.many <type>.any) (Arg<?> outL)) .let [inC+ (|> (list.size inT+) list.indices - (list#each (|>> %.nat (format "____________inC") code.local_identifier)))]] + (list#each (|>> %.nat (format "____________inC") code.local_symbol)))]] (in (` (function ((~ g!) (~+ inC+)) (let [(~ outL) ((~ valueC) (~+ inC+))] (~ outC)))))) |