[commit: testsuite] master: update T5267 for change to TypeOperators (9c8d67e)
Ross Paterson
ross at soi.city.ac.uk
Fri Jul 13 15:48:06 CEST 2012
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/9c8d67e69f310d80004ed5c09eabfd733db84615
>---------------------------------------------------------------
commit 9c8d67e69f310d80004ed5c09eabfd733db84615
Author: Ross Paterson <ross at soi.city.ac.uk>
Date: Fri Jul 13 14:46:10 2012 +0100
update T5267 for change to TypeOperators
Now it breaks properly again.
>---------------------------------------------------------------
tests/arrows/should_compile/T5267.hs | 10 +++++-----
1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/tests/arrows/should_compile/T5267.hs b/tests/arrows/should_compile/T5267.hs
index 4616b61..a58c5bd 100644
--- a/tests/arrows/should_compile/T5267.hs
+++ b/tests/arrows/should_compile/T5267.hs
@@ -1,5 +1,5 @@
-{-# LANGUAGE Arrows, TypeOperators, GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE Arrows, GeneralizedNewtypeDeriving #-}
module T5267 where
@@ -7,11 +7,11 @@ import Prelude
import Control.Arrow
import Control.Category
-newtype A (~>) b c = A { unA :: b ~> c }
- deriving (Arrow, Category)
+newtype A a b c = A { unA :: a b c }
+ deriving (Category, Arrow)
-ite :: ArrowChoice (~>)
- => (env ~> Bool) -> A (~>) env d -> A (~>) env d -> A (~>) env d
+ite :: ArrowChoice a
+ => a env Bool -> A a env d -> A a env d -> A a env d
ite iA tA eA = A $ proc env ->
do i <- iA -< env
if i then unA tA -< env else unA eA -< env
More information about the Cvs-ghc
mailing list