From: Adam Megacz Date: Fri, 8 Apr 2011 04:11:10 +0000 (+0000) Subject: re-order type arguments to GArrowProd X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=3a7e8de77666fab3f6d2a7fc5c813cbca77ad57d re-order type arguments to GArrowProd --- diff --git a/GHC/HetMet/Arrow.hs b/GHC/HetMet/Arrow.hs index b79943a..2de4c42 100644 --- a/GHC/HetMet/Arrow.hs +++ b/GHC/HetMet/Arrow.hs @@ -90,7 +90,7 @@ instance ArrowChoice a => GArrow a Either Void where eitherUnAssoc (Right (Left y)) = Left (Right y) eitherUnAssoc (Right (Right z)) = Right z -instance ArrowChoice a => GArrowSum a (,) () Void Either where +instance ArrowChoice a => GArrowSum a (,) () Either Void where ga_never = arr voidImpossible ga_merge = arr merge where diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs index 9506528..26bec09 100644 --- a/GHC/HetMet/GArrow.hs +++ b/GHC/HetMet/GArrow.hs @@ -82,7 +82,7 @@ class (GArrow g (**) u, class (GArrow g (**) u, GArrow g (<+>) v) => - GArrowSum g (**) u v (<+>) where + GArrowSum g (**) u (<+>) v where ga_merge :: g (x<+>x) x ga_never :: g v x