aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/macro/poly/functor.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-07-09 23:01:12 -0400
committerEduardo Julian2018-07-09 23:01:12 -0400
commit7c53a09d0ba1e443dd60dfdc4b8d8b134fcd120c (patch)
tree0d04f14d17d2147e6c8e7a22cbde0fb5662c6b60 /stdlib/source/lux/macro/poly/functor.lux
parent68ad700b2e631f1ba4122fb3fba1a4285625a466 (diff)
- Fixes: Part 2.
Diffstat (limited to 'stdlib/source/lux/macro/poly/functor.lux')
-rw-r--r--stdlib/source/lux/macro/poly/functor.lux4
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