1 files changed, 82 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail067.stderr b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
new file mode 100644
index 0000000000..4c69c67391
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
@@ -0,0 +1,82 @@
+
+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'
+    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'
+    In the pattern: SubRange r value
+    In an equation for `subRange': subRange (SubRange r value) = r
+
+tcfail067.hs:46:12:
+    Could not deduce (Ord a) arising from a use of `SubRange'
+    from the context (Show a)
+      bound by the type signature for
+                 showRange :: Show a => SubRange a -> String
+      at tcfail067.hs:(46,1)-(47,58)
+    Possible fix:
+      add (Ord a) to the context of
+        the type signature for showRange :: Show a => SubRange a -> String
+    In the pattern: SubRange (lower, upper) value
+    In an equation for `showRange':
+        showRange (SubRange (lower, upper) value)
+          = show value ++ " :" ++ show lower ++ ".." ++ show upper
+
+tcfail067.hs:60:10:
+    Could not deduce (Show (SubRange a))
+      arising from the superclasses of an instance declaration
+    from the context (Num a)
+      bound by the instance declaration at tcfail067.hs:60:10-34
+    Possible fix:
+      add (Show (SubRange a)) to the context of the instance declaration
+      or add an instance declaration for (Show (SubRange a))
+    In the instance declaration for `Num (SubRange a)'
+
+tcfail067.hs:61:12:
+    Could not deduce (Ord 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 (Ord 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)'
+
+tcfail067.hs:65:19:
+    Could not deduce (Ord a) arising from a use of `SubRange'
+    from the context (Num a)
+      bound by the instance declaration at tcfail067.hs:60:10-34
+    Possible fix:
+      add (Ord a) to the context of the instance declaration
+    In the expression:
+      SubRange (fromInteger a, fromInteger a) (fromInteger a)
+    In an equation for `fromInteger':
+        fromInteger a
+          = SubRange (fromInteger a, fromInteger a) (fromInteger a)
+    In the instance declaration for `Num (SubRange a)'
+
+tcfail067.hs:74:5:
+    Could not deduce (Ord a) arising from a use of `SubRange'
+    from the context (Num a)
+      bound by the type signature for
+                 numSubRangeBinOp :: Num a =>
+                                     (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
+      at tcfail067.hs:(73,1)-(76,53)
+    Possible fix:
+      add (Ord a) to the context of
+        the type signature for
+          numSubRangeBinOp :: Num a =>
+                              (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
+    In the expression: SubRange (result, result) result
+    In an equation for `numSubRangeBinOp':
+        numSubRangeBinOp op a b
+          = SubRange (result, result) result
+          where
+              result = (subRangeValue a) `op` (subRangeValue b)