projects
/
ghc-base.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fix incorrect type on GArrowCurry
[ghc-base.git]
/
GHC
/
HetMet
/
GArrow.hs
diff --git
a/GHC/HetMet/GArrow.hs
b/GHC/HetMet/GArrow.hs
index
d55a807
..
88f84fb
100644
(file)
--- a/
GHC/HetMet/GArrow.hs
+++ b/
GHC/HetMet/GArrow.hs
@@
-144,5
+144,5
@@
class GArrow g (**) u => GArrowApply g (**) u (~>) where
ga_applyr :: g ( (x~>y)**x) y
class GArrow g (**) u => GArrowCurry g (**) u (~>) where
- ga_curryl :: g x (y**(x~>y) )
- ga_curryr :: g x ( (x~>y)**y)
+ ga_curryl :: g (x**y) z -> g x (y~>z)
+ ga_curryr :: g (x**y) z -> g y (x~>z)