X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Control%2FArrow.hs;fp=Control%2FArrow.hs;h=4606b4de7e9bb12b302e9015be06852dc0e123c7;hb=8ed8e78f08c7fb045fd988f5859831dd75654490;hp=3fa7e1e04163ba0b184c7af235ebed64121a4d9c;hpb=c55fb560777b5fbd966589c47a00bab4756b05fe;p=ghc-base.git

diff --git a/Control/Arrow.hs b/Control/Arrow.hs
index 3fa7e1e..4606b4d 100644
--- a/Control/Arrow.hs
+++ b/Control/Arrow.hs
@@ -94,8 +94,6 @@ class Category a => Arrow a where
         f &&& g = arr (\b -> (b,b)) >>> f *** g
 
 {-# RULES
-"identity"
-                arr id = id
 "compose/arr"   forall f g .
                 (arr f) . (arr g) = arr (f . g)
 "first/arr"     forall f .
@@ -217,9 +215,9 @@ class Arrow a => ArrowChoice a where
 "fanin/arr"     forall f g .
                 arr f ||| arr g = arr (f ||| g)
 "compose/left"  forall f g .
-                left f >>> left g = left (f >>> g)
+                left f . left g = left (f . g)
 "compose/right" forall f g .
-                right f >>> right g = right (f >>> g)
+                right f . right g = right (f . g)
  #-}
 
 instance ArrowChoice (->) where