From: Adam Megacz Date: Wed, 22 Jun 2011 05:19:05 +0000 (-0700) Subject: adjust GArrow class fundeps to make meeting the Coverage Condition easier X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=06411e30c66fb55c6b7713b5c4c93f812b05ddcf adjust GArrow class fundeps to make meeting the Coverage Condition easier --- 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)