Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail097.stderr
1 \r
2 tcfail097.hs:5:6:\r
3     Could not deduce (Eq a0)\r
4     from the context (Eq a)\r
5       bound by the type signature for: f :: Eq a => Int -> Int\r
6       at tcfail097.hs:5:6-23\r
7     The type variable ‘a0’ is ambiguous\r
8     In the ambiguity check for the type signature for ‘f’:\r
9       f :: forall a. Eq a => Int -> Int\r
10     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
11     In the type signature for ‘f’: f :: Eq a => Int -> Int\r