Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T6069.stderr
1
2 T6069.hs:13:15: error:
3     • Couldn't match type ‘ST s0 Int’ with ‘forall s. ST s a0’
4       Expected type: ST s0 Int -> a0
5         Actual type: (forall s. ST s a0) -> a0
6     • In the second argument of ‘(.)’, namely ‘runST’
7       In the expression: print . runST
8       In the expression: (print . runST) fourty_two
9
10 T6069.hs:14:15: error:
11     • Couldn't match type ‘ST s1 Int’ with ‘forall s. ST s a1’
12       Expected type: ST s1 Int -> a1
13         Actual type: (forall s. ST s a1) -> a1
14     • In the second argument of ‘(.)’, namely ‘runST’
15       In the expression: (print . runST)
16       In the expression: (print . runST) $ fourty_two
17
18 T6069.hs:15:16: error:
19     • Couldn't match type ‘ST s2 Int’ with ‘forall s. ST s a2’
20       Expected type: ST s2 Int -> a2
21         Actual type: (forall s. ST s a2) -> a2
22     • In the second argument of ‘(.)’, namely ‘runST’
23       In the first argument of ‘($)’, namely ‘(print . runST)’
24       In the expression: (print . runST) $