Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T8428.stderr
1
2 T8428.hs:11:19: error:
3     • Couldn't match type ‘(forall s. ST s) a’ with ‘forall s. ST s a’
4       Expected type: IdentityT (forall s. ST s) a -> forall s. ST s a
5         Actual type: IdentityT (forall s. ST s) a -> (forall s. ST s) a
6     • In the second argument of ‘(.)’, namely ‘runIdentityT’
7       In the expression: runST . runIdentityT
8       In an equation for ‘runIdST’: runIdST = runST . runIdentityT
9     • Relevant bindings include
10         runIdST :: IdentityT (forall s. ST s) a -> a
11           (bound at T8428.hs:11:1)