Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / T8392a.stderr
1 \r
2 T8392a.hs:6:8:\r
3     Couldn't match type ‘Int’ with ‘Bool’\r
4     Inaccessible code in\r
5       the type signature for: foo :: (Int ~ Bool) => a -> a\r
6     In the ambiguity check for the type signature for ‘foo’:\r
7       foo :: forall a. (Int ~ Bool) => a -> a\r
8     In the type signature for ‘foo’: foo :: (Int ~ Bool) => a -> a\r