[project @ 1999-01-23 17:57:35 by sof]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail067.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail067.stderr b/ghc/tests/typecheck/should_fail/tcfail067.stderr
index d19c5ea..b243791 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail067.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail067.stderr
@@ -1,18 +1,38 @@
  
-tcfail067.hs:65: Warning: no explicit method nor default method for `abs'
-                in an instance declaration for `Num'
+tcfail067.hs:65: Warning:
+    No explicit method nor default method for `PrelBase.signum'
+    in an instance declaration for `PrelBase.Num'
  
-tcfail067.hs:65: Warning: no explicit method nor default method for `signum'
-                in an instance declaration for `Num'
+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:1: Context `{Ord ta19s}'
-                   required by inferred type, but missing on a type signature
-                   `Ord ta19s' arising from use of `SubRange' at tcfail067.hs:76
-    When checking signature(s) for: `numSubRangeBinOp'
+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: Context `{Ord ta1aY}'
-                    required by inferred type, but missing on a type signature
-                    `Ord ta1aY' arising from use of `numSubRangeNegate' at tcfail067.hs:61
-    When checking methods of an instance declaration
+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
+