blob: 49c20a5b8f2f970a86a3c8c760c0add63086ffe9 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T8428.hs:11:19:
Couldn't match type ‘(forall s. ST s) a’ with ‘forall s. ST s a’
Expected type: IdentityT (forall s. ST s) a -> forall s. ST s a
Actual type: IdentityT (forall s. ST s) a -> (forall s. ST s) a
Relevant bindings include
runIdST :: IdentityT (forall s. ST s) a -> a
(bound at T8428.hs:11:1)
In the second argument of ‘(.)’, namely ‘runIdentityT’
In the expression: runST . runIdentityT
|