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