Fix a bug in occurs checking
[ghc.git] / testsuite / tests / typecheck / should_fail / T9605.stderr
1
2 T9605.hs:7:6: error:
3     • Couldn't match type ‘Bool’ with ‘m Bool’
4       Expected type: t0 -> m Bool
5         Actual type: t0 -> Bool
6     • The function ‘f1’ is applied to one argument,
7       its type is ‘m0 Bool’,
8       it is specialized to ‘t0 -> Bool’
9       In the expression: f1 undefined
10       In an equation for ‘f2’: f2 = f1 undefined
11     • Relevant bindings include f2 :: m Bool (bound at T9605.hs:7:1)