From 3a7e8de77666fab3f6d2a7fc5c813cbca77ad57d Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Fri, 8 Apr 2011 04:11:10 +0000 Subject: [PATCH] re-order type arguments to GArrowProd --- GHC/HetMet/Arrow.hs | 2 +- GHC/HetMet/GArrow.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.10.4