diff options
Diffstat (limited to 'testsuite/tests/determinism/determ017/A.hs')
| -rw-r--r-- | testsuite/tests/determinism/determ017/A.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/determinism/determ017/A.hs b/testsuite/tests/determinism/determ017/A.hs index 082c9380de..f3e3bb9e30 100644 --- a/testsuite/tests/determinism/determ017/A.hs +++ b/testsuite/tests/determinism/determ017/A.hs @@ -85,7 +85,7 @@ instance MonadFail Identity where fail = error "Identity(fail)" newtype Trampoline m s r = Trampoline {bounce :: m (TrampolineState m s r)} -data TrampolineState m s r = Done r | Suspend! (s (Trampoline m s r)) +data TrampolineState m s r = Done r | Suspend !(s (Trampoline m s r)) instance (Monad m, Functor s) => Functor (Trampoline m s) where fmap = liftM @@ -103,11 +103,11 @@ instance (Monad m, Functor s) => Monad (Trampoline m s) where instance (MonadFail m, Functor s) => MonadFail (Trampoline m s) where fail = error "Trampoline(fail)" -data Yield x y = Yield! x y +data Yield x y = Yield !x y instance Functor (Yield x) where fmap f (Yield x y) = trace "fmap yield" $ Yield x (f y) -data Await x y = Await! (x -> y) +data Await x y = Await !(x -> y) instance Functor (Await x) where fmap f (Await g) = trace "fmap await" $ Await (f . g) |