From 257c3cfd16b2f49778559b76404c629e9b335362 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Thu, 26 May 2011 15:26:54 -0700 Subject: [PATCH] fix types of GAS_loop{l,r} --- examples/GArrowSkeleton.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/GArrowSkeleton.hs b/examples/GArrowSkeleton.hs index c63fd15..2c53283 100644 --- a/examples/GArrowSkeleton.hs +++ b/examples/GArrowSkeleton.hs @@ -46,8 +46,8 @@ data GArrowSkeleton m :: * -> * -> * GAS_copy :: GArrowSkeleton m x (x,x) GAS_swap :: GArrowSkeleton m (x,y) (y,x) GAS_merge :: GArrowSkeleton m (x,y) z - GAS_loopl :: GArrowSkeleton m (x,z) (y,z) -> GArrowSkeleton m x y - GAS_loopr :: GArrowSkeleton m (z,x) (z,y) -> GArrowSkeleton m x y + GAS_loopl :: GArrowSkeleton m (z,x) (z,y) -> GArrowSkeleton m x y + GAS_loopr :: GArrowSkeleton m (x,z) (y,z) -> GArrowSkeleton m x y GAS_misc :: m x y -> GArrowSkeleton m x y instance Category (GArrowSkeleton m) where -- 1.7.10.4