diff options
| author | Eduardo Julian | 2019-04-15 21:15:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-04-15 21:15:21 -0400 |
| commit | 178a5198cf78faf167ce2d7bc79b9c44a0c4e479 (patch) | |
| tree | 23a16e9d7ff486a4b7bfddbf231f2e5d910cabaa /stdlib/source/lux/abstract | |
| parent | e75aa067fc8b1f60f2adae9875fac7960db4de24 (diff) | |
Improved error reporting in the (new) compilers.
Diffstat (limited to 'stdlib/source/lux/abstract')
| -rw-r--r-- | stdlib/source/lux/abstract/functor.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/abstract/functor.lux b/stdlib/source/lux/abstract/functor.lux index 1ade0a45b..a259673d4 100644 --- a/stdlib/source/lux/abstract/functor.lux +++ b/stdlib/source/lux/abstract/functor.lux @@ -18,12 +18,12 @@ (type: #export (Then f g) (All [a] (f (g a)))) -(def: #export (compose f-functor g-functor) +(def: #export (compose (^open "f@.") (^open "g@.")) {#.doc "Functor composition."} (All [F G] (-> (Functor F) (Functor G) (Functor (..Then F G)))) (structure (def: (map f fga) - (:: f-functor map (:: g-functor map f) fga)))) + (f@map (g@map f) fga)))) (signature: #export (Contravariant f) (: (All [a b] |