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