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