-tcfail067.hs:1: Context `{PrelBase.Ord ta17k}'
- required by inferred type, but missing on a type signature
- `PrelBase.Ord' `ta17k' arising from use of `SubRange' at tcfail067.hs:76
- When checking signature(s) for: `numSubRangeBinOp'
+tcfail067.hs:65: Warning:
+ No explicit method nor default method for `PrelBase.signum'
+ in an instance declaration for `PrelBase.Num'
-tcfail067.hs:65: Context `{PrelBase.Ord ta18S}'
- required by inferred type, but missing on a type signature
- `PrelBase.Ord' `ta18S' arising from use of `numSubRangeNegate' at tcfail067.hs:61
- When checking methods of an instance declaration
+tcfail067.hs:65: Warning:
+ No explicit method nor default method for `PrelBase.abs'
+ in an instance declaration for `PrelBase.Num'
+
+
+tcfail067.hs:65:
+ Could not deduce `PrelBase.Ord a'
+ (arising from use of `SubRange' at tcfail067.hs:65)
+ from the context: (PrelBase.Num (SubRange _97), PrelBase.Num _97, PrelBase.Eq (SubRange _97), PrelBase.Show (SubRange _97), PrelBase.Eq (SubRange _97), PrelBase.Show (SubRange _97))
+ Probable cause: missing `PrelBase.Ord a'
+ in instance declaration context
+ When checking the methods of an instance declaration
-tcfail067.hs:65: No explicit method nor default method for `PrelBase.abs'
- in an instance declaration for `PrelBase.Num'
+tcfail067.hs:65:
+ Could not deduce `PrelBase.Show (SubRange a)'
+ (arising from an instance declaration at tcfail067.hs:65)
+ from the context: (PrelBase.Num _97)
+ Probable cause: missing `PrelBase.Show (SubRange a)'
+ in instance declaration context
+ or missing instance declaration for `PrelBase.Show (SubRange a)'
+ When checking the superclasses of an instance declaration
-tcfail067.hs:65: No explicit method nor default method for `PrelBase.signum'
- in an instance declaration for `PrelBase.Num'
+tcfail067.hs:74:
+ Could not deduce `PrelBase.Ord a'
+ (arising from use of `SubRange' at tcfail067.hs:74)
+ from the context: (PrelBase.Num a)
+ Probable cause: missing `PrelBase.Ord a'
+ in type signature for `numSubRangeBinOp'
+ When checking the type signature(s) for `numSubRangeBinOp'
+
Compilation had errors
+