users-guide: Drop 8.6.1 release notes
[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 :: forall a. 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: f :: Eq a => Int -> Int