ghc/tests/rename/should_fail/rnfail014.stderr

   1
   2 rnfail014.hs:12:
   3     The constraint `Eq a' does not mention any of
   4         the universally quantified type variables {}
   5         of the type `Int -> Int'
   6     In the type signature for `f'
   7
   8 rnfail014.hs:12:
   9     The constraint `Eq a'
  10         mentions type variables that do not appear in the type
  11         `Int -> Int'
  12     In the type signature for `f'
  13
  14 rnfail014.hs:17:
  15     The constraint `Eq a' does not mention any of
  16         the universally quantified type variables {}
  17         of the type `a -> a'
  18     In the type signature for `op'
  19
  20 rnfail014.hs:9:
  21     The constraint `Eq a' does not mention any of
  22         the universally quantified type variables {}
  23         of the type `Eq Bool'
  24     In the type signature for an instance decl
  25
  26 rnfail014.hs:9:
  27     The constraint `Eq a'
  28         mentions type variables that do not appear in the type
  29         `Eq Bool'
  30     In the type signature for an instance decl
  31
  32
  33 Compilation had errors