Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T10971d.stderr
1
2 T10971d.hs:4:14: error:
3     • Couldn't match expected type ‘[a0]’
4                   with actual type ‘Maybe Integer’
5     • In the first argument of ‘f’, namely ‘(Just 1)’
6       In the second argument of ‘($)’, namely ‘f (Just 1)’
7       In a stmt of a 'do' block: print $ f (Just 1)
8
9 T10971d.hs:5:19: error:
10     • Couldn't match expected type ‘[Integer]’
11                   with actual type ‘Maybe Integer’
12     • In the second argument of ‘g’, namely ‘(Just 5)’
13       In the second argument of ‘($)’, namely ‘g (+ 1) (Just 5)’
14       In a stmt of a 'do' block: print $ g (+ 1) (Just 5)
15
16 T10971d.hs:6:23: error:
17     • Couldn't match expected type ‘[b0]’ with actual type ‘Maybe a1’
18     • In the second argument of ‘h’, namely ‘Nothing’
19       In the second argument of ‘($)’, namely ‘h (const 5) Nothing’
20       In a stmt of a 'do' block: print $ h (const 5) Nothing