Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/9c8d67e69f310d80004ed5c09eabfd733db84615 >--------------------------------------------------------------- commit 9c8d67e69f310d80004ed5c09eabfd733db84615 Author: Ross Paterson <[email protected]> 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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
