ghc/tests/typecheck/should_fail/tcfail067.stderr

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