diff options
| author | Ross Paterson <ross@soi.city.ac.uk> | 2012-07-13 14:46:10 +0100 |
|---|---|---|
| committer | Ross Paterson <ross@soi.city.ac.uk> | 2012-07-13 14:46:10 +0100 |
| commit | 16e79b16926148f82a98cf6f36f520089629a898 (patch) | |
| tree | 5470c881fa82f5217100c43a8685159200e044a6 /testsuite/tests/arrows | |
| parent | 1d51cc883d978b16dc06db7eb86f7f3c6ba9d4e5 (diff) | |
| download | haskell-16e79b16926148f82a98cf6f36f520089629a898.tar.gz | |
update T5267 for change to TypeOperators
Now it breaks properly again.
Diffstat (limited to 'testsuite/tests/arrows')
| -rw-r--r-- | testsuite/tests/arrows/should_compile/T5267.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/arrows/should_compile/T5267.hs b/testsuite/tests/arrows/should_compile/T5267.hs index 4616b61c0a..a58c5bdebf 100644 --- a/testsuite/tests/arrows/should_compile/T5267.hs +++ b/testsuite/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 |