projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
f989504
)
fix incorrect type on GArrowCurry
author
Adam Megacz
<megacz@cs.berkeley.edu>
Fri, 25 Mar 2011 23:44:05 +0000
(16:44 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Tue, 31 May 2011 21:59:08 +0000
(14:59 -0700)
GHC/HetMet/GArrow.hs
patch
|
blob
|
history
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_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)