ghc/tests/typecheck/should_fail/tcfail044.stderr

   1
   2 tcfail044.hs:12:
   3     Illegal instance declaration for `Num (a -> a)'
   4         (the instance type must be of form (T a b c)
   5          where T is not a synonym, and a,b,c are distinct type variables)
   6
   7 tcfail044.hs:5:
   8     Illegal instance declaration for `Eq (a -> a)'
   9         (the instance type must be of form (T a b c)
  10          where T is not a synonym, and a,b,c are distinct type variables)
  11
  12 tcfail044.hs:20:
  13     No instance for `Num (Float -> Float)'
  14         (arising from use of `+' at tcfail044.hs:20)
  15
  16
  17 Compilation had errors