ghc/tests/rename/should_fail/rnfail014.stderr

   1
   2 rnfail014.hs:8:
   3     Ambiguous constraint `Eq a'
   4         in the type: Eq Bool
   5         Each forall-d type variable mentioned by the constraint must appear after the =>.
   6     In the type signature for an instance decl
   7
   8 rnfail014.hs:12:
   9     Ambiguous constraint `Eq a'
  10         in the type: Int -> Int
  11         Each forall-d type variable mentioned by the constraint must appear after the =>.
  12     In the type signature for `f'
  13
  14 rnfail014.hs:17:
  15     All of the type variable(s) in the constraint `Eq a' are already in scope
  16         At least one must be universally quantified here
  17     In the type signature for `op'
  18
  19 Compilation had errors
  20