From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 25 Mar 2011 23:44:05 +0000 (-0700)
Subject: fix incorrect type on GArrowCurry
X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=1c5d86f9ab468292f9a52b079e25578ac83d07e2

fix incorrect type on GArrowCurry
---

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index d55a807..88f84fb 100644
--- 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)