From 06411e30c66fb55c6b7713b5c4c93f812b05ddcf Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Tue, 21 Jun 2011 22:19:05 -0700 Subject: [PATCH] adjust GArrow class fundeps to make meeting the Coverage Condition easier --- GHC/HetMet/GArrow.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs index e2dbf95..4649ad0 100644 --- a/GHC/HetMet/GArrow.hs +++ b/GHC/HetMet/GArrow.hs @@ -46,7 +46,7 @@ import Prelude hiding (id) ------------------------------------------------------------------------ -- The main GArrow class -class Category g => GArrow g (**) u | (**) -> u, u -> (**) where +class Category g => GArrow g (**) u | g (**) -> u, g u -> (**) where --id :: g x x --comp :: g x y -> g y z -> g x z ga_first :: g x y -> g (x ** z) (y ** z) -- 1.7.10.4