diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 52f237a54..c22faabe2 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_symbol "____________") - type_funcC (code.local_symbol "____________type_funcC") - funcC (code.local_symbol "____________funcC") - inputC (code.local_symbol "____________inputC")] + [.let [g!_ (code.local "____________") + type_funcC (code.local "____________type_funcC") + funcC (code.local "____________funcC") + inputC (code.local "____________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_symbol)))] + (let [paramsC (|> num_vars -- list.indices (list#each (|>> %.nat code.local)))] (` (All ((~ g!_) (~+ paramsC)) ((~! /.Functor) ((~ (poly.code *env* unwrappedT)) (~+ paramsC))))))))) Arg<?> (is (-> Code (<type>.Parser Code)) @@ -48,7 +48,7 @@ ... Type-var (do p.monad [.let [varI (|> num_vars (n.* 2) --)] - _ (<type>.parameter! varI)] + _ (<type>.this_parameter varI)] (in (` ((~ funcC) (~ valueC))))) ... Variants (do ! @@ -69,7 +69,7 @@ (<type>.tuple (loop [idx 0 pairsCC (is (List [Code Code]) (list))] - (p.either (let [slotC (|> idx %.nat (format "____________slot") code.local_symbol)] + (p.either (let [slotC (|> idx %.nat (format "____________slot") code.local)] (do ! [_ (in []) memberC (Arg<?> slotC)] @@ -82,13 +82,13 @@ ... Functions (do ! [_ (in []) - .let [g! (code.local_symbol "____________") - outL (code.local_symbol "____________outL")] + .let [g! (code.local "____________") + outL (code.local "____________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_symbol)))]] + (list#each (|>> %.nat (format "____________inC") code.local)))]] (in (` (function ((~ g!) (~+ inC+)) (let [(~ outL) ((~ valueC) (~+ inC+))] (~ outC)))))) |