diff options
author | Eduardo Julian | 2018-07-09 23:01:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-09 23:01:12 -0400 |
commit | 7c53a09d0ba1e443dd60dfdc4b8d8b134fcd120c (patch) | |
tree | 0d04f14d17d2147e6c8e7a22cbde0fb5662c6b60 /stdlib/source/lux/macro/poly/functor.lux | |
parent | 68ad700b2e631f1ba4122fb3fba1a4285625a466 (diff) |
- Fixes: Part 2.
Diffstat (limited to 'stdlib/source/lux/macro/poly/functor.lux')
-rw-r--r-- | stdlib/source/lux/macro/poly/functor.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux index bf9421cde..0f7b67b57 100644 --- a/stdlib/source/lux/macro/poly/functor.lux +++ b/stdlib/source/lux/macro/poly/functor.lux @@ -28,10 +28,10 @@ #let [@Functor (: (-> Type Code) (function (_ unwrappedT) (if (n/= +1 num-vars) - (` (functor.Functor (~ (poly.to-code *env* unwrappedT)))) + (` ((~! functor.Functor) (~ (poly.to-code *env* unwrappedT)))) (let [paramsC (|> num-vars dec list.indices (L/map (|>> %n code.local-symbol)))] (` (All [(~+ paramsC)] - (functor.Functor ((~ (poly.to-code *env* unwrappedT)) (~+ paramsC))))))))) + ((~! functor.Functor) ((~ (poly.to-code *env* unwrappedT)) (~+ paramsC))))))))) Arg<?> (: (-> Code (poly.Poly Code)) (function (Arg<?> valueC) ($_ p.either |