Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7856.hs
1 module T7856 where
2
3 tmp :: String -> IO ()
4 tmp = sequence_ lst
5 where lst = [putStrLn "hi"]
6
7 -- sequence_ :: Monad m => [m a] -> m ()
8
9 {- m () ~ (->) String (IO ()) -- From result of sequence_
10 m a ~ IO () -- From argument of sequence_
11
12 Depends which one gets treated first.
13 m := IO
14 is better than
15 m := (->) String
16 It's a bit random which is chosen.
17
18 I'll put it in regression suite so we see if it wobbles around.
19 -}