summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail067.stderr
diff options
context:
space:
mode:
authorIan Lynagh <ian@well-typed.com>2013-02-24 14:48:43 +0000
committerIan Lynagh <ian@well-typed.com>2013-02-24 14:48:43 +0000
commitd6588276e819f088e29a6c16ba0a0c82acfd05cc (patch)
treefb9d06e18d8ad31733117c08ff4954e7a8b27b04 /testsuite/tests/typecheck/should_fail/tcfail067.stderr
parent11237cf673876f6ef85918383cb46b8b1e8ca099 (diff)
downloadhaskell-d6588276e819f088e29a6c16ba0a0c82acfd05cc.tar.gz
Update outputs following the unicode quote change in GHC's output
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail067.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail067.stderr28
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail067.stderr b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
index 9e47a0bebc..ebe87035d1 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail067.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
@@ -3,24 +3,24 @@ 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':
+ 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
+ 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'
+ 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
@@ -29,35 +29,35 @@ tcfail067.hs:46:12:
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':
+ In an equation for ‛showRange’:
showRange (SubRange (lower, upper) value)
= show value ++ " :" ++ show lower ++ ".." ++ show upper
tcfail067.hs:61:12:
- Could not deduce (Show 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) 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)'
+ 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'
+ 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':
+ In an equation for ‛fromInteger’:
fromInteger a
= SubRange (fromInteger a, fromInteger a) (fromInteger a)
- In the instance declaration for `Num (SubRange a)'
+ In the instance declaration for ‛Num (SubRange a)’
tcfail067.hs:74:5:
- Could not deduce (Ord a) arising from a use of `SubRange'
+ 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 =>
@@ -69,7 +69,7 @@ tcfail067.hs:74:5:
numSubRangeBinOp :: Num a =>
(a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
In the expression: SubRange (result, result) result
- In an equation for `numSubRangeBinOp':
+ In an equation for ‛numSubRangeBinOp’:
numSubRangeBinOp op a b
= SubRange (result, result) result
where