Add -fdefer-out-of-scope-variables flag (#12170).
[ghc.git] / testsuite / tests / typecheck / should_fail / T12170a.stderr
1
2 T12170a.hs:20:7: error:
3     • Couldn't match type ‘Ref m0’ with ‘IORef’
4       Expected type: IO (Ref m0 (f0 ()))
5         Actual type: IO (Ref IO (f0 ()))
6       The type variable ‘m0’ is ambiguous
7     • In the first argument of ‘(>>=)’, namely ‘newRef (pure ())’
8       In the expression: newRef (pure ()) >>= join . readRef
9       In an equation for ‘foo’: foo = newRef (pure ()) >>= join . readRef