ghc/tests/rename/should_fail/rnfail014.stderr

   1
   2 rnfail014.hs:12:
   3     Context constrains type variable(s) `a'
   4         that do not appear in `Int -> Int'
   5         in the type signature for `f'
   6
   7 rnfail014.hs:17:
   8     Context constrains in-scope type variable(s) `a'
   9         in the type signature for `op'
  10
  11 rnfail014.hs:9:
  12     Context constrains type variable(s) `a'
  13         that do not appear in `Eq Bool'
  14         in the type signature for an instance decl
  15
  16
  17 Compilation had errors