Raft of wibbles after refactoring type-class constraint errors

...in response to Trac #5858

1 files changed, 10 insertions, 7 deletions

diff --git a/testsuite/tests/typecheck/should_fail/tcfail067.stderr b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
index 6be6ef494b..9e47a0bebc 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail067.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
@@ -3,15 +3,19 @@ tcfail067.hs:1:14: Warning:
     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 
 tcfail067.hs:12:16:
-    No instance for (Ord a)
-      arising from a use of `SubRange'
+    No instance for (Ord a) arising from a use of `SubRange'
+    Possible fix:
+      add (Ord a) to the context of
+        the type signature for subRangeValue :: SubRange a -> a
     In the pattern: SubRange (lower, upper) value
     In an equation for `subRangeValue':
         subRangeValue (SubRange (lower, upper) value) = value
 
 tcfail067.hs:15:11:
-    No instance for (Ord a)
-      arising from a use of `SubRange'
+    No instance for (Ord a) arising from a use of `SubRange'
+    Possible fix:
+      add (Ord a) to the context of
+        the type signature for subRange :: SubRange a -> (a, a)
     In the pattern: SubRange r value
     In an equation for `subRange': subRange (SubRange r value) = r
 
@@ -30,12 +34,11 @@ tcfail067.hs:46:12:
           = show value ++ " :" ++ show lower ++ ".." ++ show upper
 
 tcfail067.hs:61:12:
-    Could not deduce (Show a, Ord a)
-      arising from a use of `numSubRangeNegate'
+    Could not deduce (Show a) arising from a use of `numSubRangeNegate'
     from the context (Num a)
       bound by the instance declaration at tcfail067.hs:60:10-34
     Possible fix:
-      add (Show a, Ord a) to the context of the instance declaration
+      add (Show a) to the context of the instance declaration
     In the expression: numSubRangeNegate
     In an equation for `negate': negate = numSubRangeNegate
     In the instance declaration for `Num (SubRange a)'