ghc/tests/typecheck/should_fail/tcfail067.stderr

   1
   2 tcfail067.hs:60:
   3     Could not deduce `Show (SubRange a)' from the context: (Num a)
   4     Probable cause: missing `Show (SubRange a)'
   5                     in instance declaration context
   6                     or missing 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 a),
  12                            Num a,
  13                            Eq (SubRange a),
  14                            Show (SubRange a))
  15     Probable cause: missing `Ord a' in instance declaration context
  16     arising from use of `numSubRangeNegate' at tcfail067.hs:61
  17     In the right-hand side of a pattern binding: numSubRangeNegate
  18
  19 tcfail067.hs:74:
  20     Could not deduce `Ord a' from the context: (Num a)
  21     Probable cause: missing `Ord a'
  22                     in type signature for `numSubRangeBinOp'
  23     arising from use of `SubRange' at tcfail067.hs:74
  24     In the right-hand side of an equation for `numSubRangeBinOp':
  25         SubRange (result, result) result
  26
  27 Compilation had errors
  28