summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T6069.stderr
blob: 4f82c0d896240f73ce525d408c84cc3f48ed665a (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)’