blob: e2d3ef4d91e3206ac4744ae5312884307d79491f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
T6069.hs:13:15: error:
• Couldn't match type ‘ST s0 Int’ with ‘forall s. ST s a0’
Expected type: ST s0 Int -> a0
Actual type: (forall s. ST s a0) -> a0
• In the second argument of ‘(.)’, namely ‘runST’
In the expression: print . runST
In the expression: (print . runST) fourty_two
T6069.hs:14:15: error:
• Couldn't match type ‘ST s1 Int’ with ‘forall s. ST s a1’
Expected type: ST s1 Int -> a1
Actual type: (forall s. ST s a1) -> a1
• In the second argument of ‘(.)’, namely ‘runST’
In the first argument of ‘($)’, namely ‘(print . runST)’
In the expression: (print . runST) $ fourty_two
T6069.hs:15:16: error:
• Couldn't match type ‘ST s2 Int’ with ‘forall s. ST s a2’
Expected type: ST s2 Int -> a2
Actual type: (forall s. ST s a2) -> a2
• In the second argument of ‘(.)’, namely ‘runST’
In the first argument of ‘($)’, namely ‘(print . runST)’
In the expression: (print . runST) $
|