Error message wibbles, following TcErrors refactoring
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
1 \r
2 T7368a.hs:8:6:\r
3     Couldn't match type ‛f’ with ‛Bad’\r
4       ‛f’ is a rigid type variable bound by\r
5           the type signature for fun :: f (Bad f) -> Bool at T7368a.hs:7:15\r
6     Expected type: f (Bad f)\r
7       Actual type: Bad t0\r
8     Relevant bindings include\r
9       fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)\r
10     In the pattern: Bad x\r
11     In an equation for ‛fun’: fun (Bad x) = True\r