summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T6069.stderr
blob: 81b1552cba2a33eb2e698800f334ce6dd90f50f6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

T6069.hs:13:15:
    Couldn't match type ‘ST s0 Int’ with ‘forall s. ST s b0’
    Expected type: ST s0 Int -> b0
      Actual type: (forall s. ST s b0) -> b0
    In the second argument of ‘(.)’, namely ‘runST’
    In the expression: print . runST

T6069.hs:14:15:
    Couldn't match type ‘ST s1 Int’ with ‘forall s. ST s b1’
    Expected type: ST s1 Int -> b1
      Actual type: (forall s. ST s b1) -> b1
    In the second argument of ‘(.)’, namely ‘runST’
    In the expression: (print . runST)

T6069.hs:15:16:
    Couldn't match type ‘ST s2 Int’ with ‘forall s. ST s b2’
    Expected type: ST s2 Int -> b2
      Actual type: (forall s. ST s b2) -> b2
    In the second argument of ‘(.)’, namely ‘runST’
    In the first argument of ‘($)’, namely ‘(print . runST)’