Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T10715b.stderr
1
2 T10715b.hs:7:7: error:
3     Occurs check: cannot construct the infinite type: b ~ [b]
4       arising from a use of ‘coerce’
5     Relevant bindings include foo :: [b] -> b (bound at T10715b.hs:7:1)
6     In the first argument of ‘asTypeOf’, namely ‘coerce’
7     In the expression: coerce `asTypeOf` head
8     In an equation for ‘foo’: foo = coerce `asTypeOf` head