ghc/tests/rename/should_fail/rnfail014.stderr

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