Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail067.stderr
1
2 tcfail067.hs:1:14: Warning:
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
4
5 tcfail067.hs:12:16:
6     No instance for (Ord a) arising from a use of ‘SubRange’
7     Possible fix:
8       add (Ord a) to the context of
9         the type signature for subRangeValue :: SubRange a -> a
10     In the pattern: SubRange (lower, upper) value
11     In an equation for ‘subRangeValue’:
12         subRangeValue (SubRange (lower, upper) value) = value
13
14 tcfail067.hs:15:11:
15     No instance for (Ord a) arising from a use of ‘SubRange’
16     Possible fix:
17       add (Ord a) to the context of
18         the type signature for subRange :: SubRange a -> (a, a)
19     In the pattern: SubRange r value
20     In an equation for ‘subRange’: subRange (SubRange r value) = r
21
22 tcfail067.hs:46:12:
23     Could not deduce (Ord a) arising from a use of ‘SubRange’
24     from the context (Show a)
25       bound by the type signature for
26                  showRange :: Show a => SubRange a -> String
27       at tcfail067.hs:45:14-43
28     Possible fix:
29       add (Ord a) to the context of
30         the type signature for showRange :: Show a => SubRange a -> String
31     In the pattern: SubRange (lower, upper) value
32     In an equation for ‘showRange’:
33         showRange (SubRange (lower, upper) value)
34           = show value ++ " :" ++ show lower ++ ".." ++ show upper
35
36 tcfail067.hs:61:12:
37     Could not deduce (Ord a) arising from a use of ‘numSubRangeNegate’
38     from the context (Num a)
39       bound by the instance declaration at tcfail067.hs:60:10-34
40     Possible fix:
41       add (Ord a) to the context of the instance declaration
42     In the expression: numSubRangeNegate
43     In an equation for ‘negate’: negate = numSubRangeNegate
44     In the instance declaration for ‘Num (SubRange a)’
45
46 tcfail067.hs:65:19:
47     Could not deduce (Ord a) arising from a use of ‘SubRange’
48     from the context (Num a)
49       bound by the instance declaration at tcfail067.hs:60:10-34
50     Possible fix:
51       add (Ord a) to the context of the instance declaration
52     In the expression:
53       SubRange (fromInteger a, fromInteger a) (fromInteger a)
54     In an equation for ‘fromInteger’:
55         fromInteger a
56           = SubRange (fromInteger a, fromInteger a) (fromInteger a)
57     In the instance declaration for ‘Num (SubRange a)’
58
59 tcfail067.hs:74:5:
60     Could not deduce (Ord a) arising from a use of ‘SubRange’
61     from the context (Num a)
62       bound by the type signature for
63                  numSubRangeBinOp :: Num a =>
64                                      (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
65       at tcfail067.hs:(71,21)-(72,58)
66     Possible fix:
67       add (Ord a) to the context of
68         the type signature for
69           numSubRangeBinOp :: Num a =>
70                               (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
71     In the expression: SubRange (result, result) result
72     In an equation for ‘numSubRangeBinOp’:
73         numSubRangeBinOp op a b
74           = SubRange (result, result) result
75           where
76               result = (subRangeValue a) `op` (subRangeValue b)