diff options
author | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-02-24 14:48:43 +0000 |
commit | d6588276e819f088e29a6c16ba0a0c82acfd05cc (patch) | |
tree | fb9d06e18d8ad31733117c08ff4954e7a8b27b04 /testsuite/tests/typecheck/should_fail/tcfail067.stderr | |
parent | 11237cf673876f6ef85918383cb46b8b1e8ca099 (diff) | |
download | haskell-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.stderr | 28 |
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 |