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