ghc/tests/typecheck/should_fail/tcfail067.stderr

   1
   2 tcfail067.hs:65: Warning:
   3     No explicit method nor default method for `signum'
   4     in an instance declaration for `Num'
   5
   6 tcfail067.hs:65: Warning:
   7     No explicit method nor default method for `abs'
   8     in an instance declaration for `Num'
   9
  10
  11 tcfail067.hs:76:
  12     Could not deduce `Ord a'
  13         (arising from use of `SubRange' at tcfail067.hs:76)
  14         from the context (Num a, numSubRangeBinOp at [a])
  15     Probable cause: missing `Ord a' in type signature for `numSubRangeBinOp'
  16     When checking the type signature(s) for `numSubRangeBinOp'
  17
  18 tcfail067.hs:65:
  19     Could not deduce `Ord a'
  20         (arising from use of `SubRange' at tcfail067.hs:65)
  21         from the context (Num (SubRange a), Num a, Eq (SubRange a), Show (SubRange a), Eq (SubRange a), Show (SubRange a), fromInt at [SubRange a], fromInteger at [SubRange a], signum at [SubRange a], abs at [SubRange a], negate at [SubRange a], * at [SubRange a], - at [SubRange a], + at [SubRange a])
  22     Probable cause: missing `Ord a' in instance declaration context
  23     When checking the methods of an instance declaration
  24
  25 tcfail067.hs:65:
  26     Could not deduce `Show (SubRange a)'
  27         (arising from an instance declaration at tcfail067.hs:65)
  28         from the context (Num a)
  29     Probable cause: missing `Show (SubRange a)' in instance declaration context
  30                     or missing instance declaration for `Show (SubRange a)'
  31     When checking the superclasses of an instance declaration
  32
  33
  34 Compilation had errors