ghc/tests/typecheck/should_fail/tcfail067.stderr

   1
   2 tcfail067.hs:60:
   3     Could not deduce `Show (SubRange a)' from the context (Num a1)
   4     Probable fix:
   5         Add `Show (SubRange a)' to the instance declaration context
   6         Or add an instance declaration for `Show (SubRange a)'
   7     arising from an instance declaration at tcfail067.hs:60
   8
   9 tcfail067.hs:61:
  10     Could not deduce `Ord a'
  11         from the context (Num (SubRange a1),
  12                           Num a1,
  13                           Eq (SubRange a1),
  14                           Show (SubRange a1))
  15     Probable fix:
  16         Add `Ord a' to the instance declaration context
  17     arising from use of `numSubRangeNegate' at tcfail067.hs:61
  18     In the right-hand side of an equation for `negate':
  19         numSubRangeNegate
  20
  21 tcfail067.hs:74:
  22     Could not deduce `Ord a' from the context (Num a)
  23     Probable fix:
  24         Add `Ord a' to the type signature for `numSubRangeBinOp'
  25     arising from use of `SubRange' at tcfail067.hs:74
  26     In the right-hand side of an equation for `numSubRangeBinOp':
  27         SubRange (result, result) result