Testsuite: fixup lots of tests
[ghc.git] / testsuite / tests / typecheck / should_compile / tc232.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2
3 -- This one fixed the constraint solver (Lint error)
4 -- See Trac #1494
5
6 module ShouldCompile where
7
8 import Control.Monad.State
9
10 newtype L m r = L (StateT Int m r)
11
12 instance Functor (L m) where
13 fmap = undefined
14
15 instance Applicative (L m) where
16 pure = undefined
17 (<*>) = undefined
18
19 instance Monad m => Monad (L m) where
20 (>>=) = undefined
21 return = undefined
22
23 zork :: (Monad m) => a -> L m ()
24 zork = undefined
25
26 mumble e = do { modify id; zork e }
27