diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-02-23 22:00:57 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-02-25 11:06:51 +0100 |
commit | 018676c7f883886b388652c913c99a10d2591b0b (patch) | |
tree | ddeb1cd21f74b21f12b1d1ddbc26abb934136587 /testsuite/tests/typecheck/should_fail/tcfail068.stderr | |
parent | ede5b5180c2a5db3f51b01dbef402d21ace9601c (diff) | |
download | haskell-018676c7f883886b388652c913c99a10d2591b0b.tar.gz |
Use U+2018 instead of U+201B quote mark in compiler messages
This matches GCC's choice of Unicode quotation marks (i.e. U+2018 and U+2019)
and therefore looks more familiar on the console. This addresses #2507.
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail068.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail068.stderr | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail068.stderr b/testsuite/tests/typecheck/should_fail/tcfail068.stderr index 8b2cd42158..1df6fb8bb4 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail068.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail068.stderr @@ -5,10 +5,10 @@ tcfail068.hs:14:9: bound by the type signature for itgen :: Constructed a => (Int, Int) -> a -> IndTree s a at tcfail068.hs:11:10-55 - ‛s1’ is a rigid type variable bound by + ‘s1’ is a rigid type variable bound by a type expected by the context: GHC.ST.ST s1 (IndTree s a) at tcfail068.hs:13:9 - ‛s’ is a rigid type variable bound by + ‘s’ is a rigid type variable bound by the type signature for itgen :: Constructed a => (Int, Int) -> a -> IndTree s a at tcfail068.hs:11:10 @@ -17,8 +17,8 @@ tcfail068.hs:14:9: Relevant bindings include itgen :: (Int, Int) -> a -> IndTree s a (bound at tcfail068.hs:12:1) - In the first argument of ‛runST’, namely - ‛(newSTArray ((1, 1), n) x)’ + In the first argument of ‘runST’, namely + ‘(newSTArray ((1, 1), n) x)’ In the expression: runST (newSTArray ((1, 1), n) x) tcfail068.hs:19:21: @@ -28,12 +28,12 @@ tcfail068.hs:19:21: itiap :: Constructed a => (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a at tcfail068.hs:16:10-75 - ‛s’ is a rigid type variable bound by + ‘s’ is a rigid type variable bound by the type signature for itiap :: Constructed a => (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a at tcfail068.hs:16:10 - ‛s1’ is a rigid type variable bound by + ‘s1’ is a rigid type variable bound by a type expected by the context: GHC.ST.ST s1 (IndTree s a) at tcfail068.hs:18:9 Expected type: STArray s1 (Int, Int) a @@ -42,8 +42,8 @@ tcfail068.hs:19:21: arr :: IndTree s a (bound at tcfail068.hs:17:11) itiap :: (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a (bound at tcfail068.hs:17:1) - In the first argument of ‛readSTArray’, namely ‛arr’ - In the first argument of ‛(>>=)’, namely ‛readSTArray arr i’ + In the first argument of ‘readSTArray’, namely ‘arr’ + In the first argument of ‘(>>=)’, namely ‘readSTArray arr i’ tcfail068.hs:24:35: Could not deduce (s ~ s1) @@ -52,12 +52,12 @@ tcfail068.hs:24:35: itrap :: Constructed a => ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a at tcfail068.hs:23:10-87 - ‛s’ is a rigid type variable bound by + ‘s’ is a rigid type variable bound by the type signature for itrap :: Constructed a => ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a at tcfail068.hs:23:10 - ‛s1’ is a rigid type variable bound by + ‘s1’ is a rigid type variable bound by a type expected by the context: GHC.ST.ST s1 (IndTree s a) at tcfail068.hs:24:29 Expected type: GHC.ST.ST s1 (IndTree s a) @@ -71,7 +71,7 @@ tcfail068.hs:24:35: itrap :: ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a (bound at tcfail068.hs:24:1) - In the first argument of ‛runST’, namely ‛(itrap' i k)’ + In the first argument of ‘runST’, namely ‘(itrap' i k)’ In the expression: runST (itrap' i k) tcfail068.hs:36:46: @@ -87,7 +87,7 @@ tcfail068.hs:36:46: -> IndTree s b -> (c, IndTree s b) at tcfail068.hs:(34,15)-(35,62) - ‛s’ is a rigid type variable bound by + ‘s’ is a rigid type variable bound by the type signature for itrapstate :: Constructed b => ((Int, Int), (Int, Int)) @@ -98,7 +98,7 @@ tcfail068.hs:36:46: -> IndTree s b -> (c, IndTree s b) at tcfail068.hs:34:15 - ‛s1’ is a rigid type variable bound by + ‘s1’ is a rigid type variable bound by a type expected by the context: GHC.ST.ST s1 (c, IndTree s b) at tcfail068.hs:36:40 Expected type: GHC.ST.ST s1 (c, IndTree s b) @@ -117,5 +117,5 @@ tcfail068.hs:36:46: -> IndTree s b -> (c, IndTree s b) (bound at tcfail068.hs:36:1) - In the first argument of ‛runST’, namely ‛(itrapstate' i k s)’ + In the first argument of ‘runST’, namely ‘(itrapstate' i k s)’ In the expression: runST (itrapstate' i k s) |