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/gadt | |
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/gadt')
-rw-r--r-- | testsuite/tests/gadt/CasePrune.stderr | 10 | ||||
-rw-r--r-- | testsuite/tests/gadt/T3163.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/gadt/T3169.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/gadt/T3651.stderr | 18 | ||||
-rw-r--r-- | testsuite/tests/gadt/T7293.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/gadt/T7294.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/gadt/T7558.stderr | 8 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadt-escape1.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadt10.stderr | 10 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadt11.stderr | 8 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadt13.stderr | 12 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadt21.stderr | 12 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadt7.stderr | 8 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail001.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail002.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail003.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/gadt/lazypat.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/gadt/records-fail1.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/gadt/rw.stderr | 14 |
19 files changed, 75 insertions, 75 deletions
diff --git a/testsuite/tests/gadt/CasePrune.stderr b/testsuite/tests/gadt/CasePrune.stderr index 64b71572d5..db22c46a7d 100644 --- a/testsuite/tests/gadt/CasePrune.stderr +++ b/testsuite/tests/gadt/CasePrune.stderr @@ -1,10 +1,10 @@ CasePrune.hs:14:31: - Could not coerce from ‛T Int’ to ‛T A’ - because the first type argument of ‛T’ has role Nominal, - but the arguments ‛Int’ and ‛A’ differ - arising from the coercion of the method ‛ic’ from type ‛T Int’ - to type ‛T A’ + Could not coerce from ‘T Int’ to ‘T A’ + because the first type argument of ‘T’ has role Nominal, + but the arguments ‘Int’ and ‘A’ differ + arising from the coercion of the method ‘ic’ from type ‘T Int’ + to type ‘T A’ Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/gadt/T3163.stderr b/testsuite/tests/gadt/T3163.stderr index ce64010857..5daca38050 100644 --- a/testsuite/tests/gadt/T3163.stderr +++ b/testsuite/tests/gadt/T3163.stderr @@ -1,5 +1,5 @@ T3163.hs:8:5: Illegal polymorphic or qualified type: forall s. s - In the definition of data constructor ‛Unreached’ - In the data declaration for ‛Taker’ + In the definition of data constructor ‘Unreached’ + In the data declaration for ‘Taker’ diff --git a/testsuite/tests/gadt/T3169.stderr b/testsuite/tests/gadt/T3169.stderr index d5c658f71a..09276728e2 100644 --- a/testsuite/tests/gadt/T3169.stderr +++ b/testsuite/tests/gadt/T3169.stderr @@ -3,7 +3,7 @@ T3169.hs:13:22: Could not deduce (elt ~ Map b elt) from the context (Key a, Key b) bound by the instance declaration at T3169.hs:10:10-36 - ‛elt’ is a rigid type variable bound by + ‘elt’ is a rigid type variable bound by the type signature for lookup :: (a, b) -> Map (a, b) elt -> Maybe elt at T3169.hs:12:3 @@ -14,5 +14,5 @@ T3169.hs:13:22: b :: b (bound at T3169.hs:12:13) lookup :: (a, b) -> Map (a, b) elt -> Maybe elt (bound at T3169.hs:12:3) - In the second argument of ‛lookup’, namely ‛m’ + In the second argument of ‘lookup’, namely ‘m’ In the expression: lookup a m :: Maybe (Map b elt) diff --git a/testsuite/tests/gadt/T3651.stderr b/testsuite/tests/gadt/T3651.stderr index 5d5a4923b5..e9230a4538 100644 --- a/testsuite/tests/gadt/T3651.stderr +++ b/testsuite/tests/gadt/T3651.stderr @@ -1,21 +1,21 @@ T3651.hs:11:11:
- Couldn't match type ‛Bool’ with ‛()’
+ Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
- a pattern with constructor U :: Z (), in an equation for ‛unsafe1’
+ a pattern with constructor U :: Z (), in an equation for ‘unsafe1’
In the pattern: U
- In an equation for ‛unsafe1’: unsafe1 B U = ()
+ In an equation for ‘unsafe1’: unsafe1 B U = ()
T3651.hs:14:11:
- Couldn't match type ‛Bool’ with ‛()’
+ Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
- a pattern with constructor U :: Z (), in an equation for ‛unsafe2’
+ a pattern with constructor U :: Z (), in an equation for ‘unsafe2’
In the pattern: U
- In an equation for ‛unsafe2’: unsafe2 B U = ()
+ In an equation for ‘unsafe2’: unsafe2 B U = ()
T3651.hs:17:11:
- Couldn't match type ‛Bool’ with ‛()’
+ Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
- a pattern with constructor U :: Z (), in an equation for ‛unsafe3’
+ a pattern with constructor U :: Z (), in an equation for ‘unsafe3’
In the pattern: U
- In an equation for ‛unsafe3’: unsafe3 B U = True
+ In an equation for ‘unsafe3’: unsafe3 B U = True
diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr index 98a4fe402a..d9719ba65b 100644 --- a/testsuite/tests/gadt/T7293.stderr +++ b/testsuite/tests/gadt/T7293.stderr @@ -1,9 +1,9 @@ T7293.hs:24:5: - Couldn't match type ‛'False’ with ‛'True’ + Couldn't match type ‘'False’ with ‘'True’ Inaccessible code in a pattern with constructor Nil :: forall a. Vec a 'Zero, - in an equation for ‛nth’ + in an equation for ‘nth’ In the pattern: Nil - In an equation for ‛nth’: nth Nil _ = undefined + In an equation for ‘nth’: nth Nil _ = undefined diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr index bfb64966fc..f5ad94601b 100644 --- a/testsuite/tests/gadt/T7294.stderr +++ b/testsuite/tests/gadt/T7294.stderr @@ -1,9 +1,9 @@ T7294.hs:25:5: Warning: - Couldn't match type ‛'False’ with ‛'True’ + Couldn't match type ‘'False’ with ‘'True’ Inaccessible code in a pattern with constructor Nil :: forall a. Vec a 'Zero, - in an equation for ‛nth’ + in an equation for ‘nth’ In the pattern: Nil - In an equation for ‛nth’: nth Nil _ = undefined + In an equation for ‘nth’: nth Nil _ = undefined diff --git a/testsuite/tests/gadt/T7558.stderr b/testsuite/tests/gadt/T7558.stderr index cf5d73dce8..f65c74395b 100644 --- a/testsuite/tests/gadt/T7558.stderr +++ b/testsuite/tests/gadt/T7558.stderr @@ -1,13 +1,13 @@ T7558.hs:8:4: - Couldn't match type ‛a’ with ‛Maybe a’ - ‛a’ is a rigid type variable bound by + Couldn't match type ‘a’ with ‘Maybe a’ + ‘a’ is a rigid type variable bound by the type signature for f :: T a a -> Bool at T7558.hs:7:6 Inaccessible code in a pattern with constructor MkT :: forall a b. a ~ Maybe b => a -> Maybe b -> T a b, - in an equation for ‛f’ + in an equation for ‘f’ Relevant bindings include f :: T a a -> Bool (bound at T7558.hs:8:1) In the pattern: MkT x y - In an equation for ‛f’: f (MkT x y) = [x, y] `seq` True + In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index f701402e30..1ec5ea8515 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -1,13 +1,13 @@ gadt-escape1.hs:19:58: - Couldn't match type ‛t’ with ‛ExpGADT Int’ - ‛t’ is untouchable + Couldn't match type ‘t’ with ‘ExpGADT Int’ + ‘t’ is untouchable inside the constraints (t1 ~ Int) bound by a pattern with constructor ExpInt :: Int -> ExpGADT Int, in a case alternative at gadt-escape1.hs:19:43-50 - ‛t’ is a rigid type variable bound by + ‘t’ is a rigid type variable bound by the inferred type of weird1 :: t at gadt-escape1.hs:19:1 Expected type: t Actual type: ExpGADT t1 diff --git a/testsuite/tests/gadt/gadt10.stderr b/testsuite/tests/gadt/gadt10.stderr index fa485aade5..cc5230e2f2 100644 --- a/testsuite/tests/gadt/gadt10.stderr +++ b/testsuite/tests/gadt/gadt10.stderr @@ -1,7 +1,7 @@ gadt10.hs:6:24: - Expecting one more argument to ‛RInt’ - Expected kind ‛*’, but ‛RInt’ has kind ‛k0 -> *’ - In the type ‛RInt’ - In the definition of data constructor ‛R’ - In the data declaration for ‛RInt’ + Expecting one more argument to ‘RInt’ + Expected kind ‘*’, but ‘RInt’ has kind ‘k0 -> *’ + In the type ‘RInt’ + In the definition of data constructor ‘R’ + In the data declaration for ‘RInt’ diff --git a/testsuite/tests/gadt/gadt11.stderr b/testsuite/tests/gadt/gadt11.stderr index b753bd961c..016fd2bd75 100644 --- a/testsuite/tests/gadt/gadt11.stderr +++ b/testsuite/tests/gadt/gadt11.stderr @@ -1,6 +1,6 @@ gadt11.hs:12:3: - Data constructor ‛L2’ returns type ‛T1 Bool’ - instead of an instance of its parent type ‛T2 a’ - In the definition of data constructor ‛L2’ - In the data declaration for ‛T2’ + Data constructor ‘L2’ returns type ‘T1 Bool’ + instead of an instance of its parent type ‘T2 a’ + In the definition of data constructor ‘L2’ + In the data declaration for ‘T2’ diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index 3b39f07b8f..5861424fa2 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -1,16 +1,16 @@ gadt13.hs:15:13: - Couldn't match expected type ‛t’ - with actual type ‛String -> [Char]’ - ‛t’ is untouchable + Couldn't match expected type ‘t’ + with actual type ‘String -> [Char]’ + ‘t’ is untouchable inside the constraints (t1 ~ Int) bound by a pattern with constructor I :: Int -> Term Int, - in an equation for ‛shw’ + in an equation for ‘shw’ at gadt13.hs:15:6-8 - ‛t’ is a rigid type variable bound by + ‘t’ is a rigid type variable bound by the inferred type of shw :: Term t1 -> t at gadt13.hs:15:1 Relevant bindings include shw :: Term t1 -> t (bound at gadt13.hs:15:1) In the expression: ("I " ++) . shows t - In an equation for ‛shw’: shw (I t) = ("I " ++) . shows t + In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t diff --git a/testsuite/tests/gadt/gadt21.stderr b/testsuite/tests/gadt/gadt21.stderr index 0293eaafb8..5c234daf99 100644 --- a/testsuite/tests/gadt/gadt21.stderr +++ b/testsuite/tests/gadt/gadt21.stderr @@ -1,19 +1,19 @@ gadt21.hs:21:60: - Could not deduce (Ord a1) arising from a use of ‛f’ + Could not deduce (Ord a1) arising from a use of ‘f’ from the context (a ~ Set a1) bound by a pattern with constructor TypeSet :: forall a. Type a -> Type (Set a), - in an equation for ‛withOrdDynExpr’ + in an equation for ‘withOrdDynExpr’ at gadt21.hs:21:35-43 Possible fix: add (Ord a1) to the context of - the data constructor ‛TypeSet’ - or the data constructor ‛DynExpr’ + the data constructor ‘TypeSet’ + or the data constructor ‘DynExpr’ or the type signature for withOrdDynExpr :: DynExpr -> (forall a. Ord a => Expr a -> b) -> Maybe b - In the first argument of ‛Just’, namely ‛(f e)’ + In the first argument of ‘Just’, namely ‘(f e)’ In the expression: Just (f e) - In an equation for ‛withOrdDynExpr’: + In an equation for ‘withOrdDynExpr’: withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e) diff --git a/testsuite/tests/gadt/gadt7.stderr b/testsuite/tests/gadt/gadt7.stderr index a14740580d..4ce8ad475c 100644 --- a/testsuite/tests/gadt/gadt7.stderr +++ b/testsuite/tests/gadt/gadt7.stderr @@ -1,15 +1,15 @@ gadt7.hs:16:38: - Couldn't match expected type ‛t’ with actual type ‛t1’ - ‛t1’ is untouchable + Couldn't match expected type ‘t’ with actual type ‘t1’ + ‘t1’ is untouchable inside the constraints (t2 ~ Int) bound by a pattern with constructor K :: T Int, in a case alternative at gadt7.hs:16:33 - ‛t1’ is a rigid type variable bound by + ‘t1’ is a rigid type variable bound by the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1 - ‛t’ is a rigid type variable bound by + ‘t’ is a rigid type variable bound by the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1 Relevant bindings include y1 :: t1 (bound at gadt7.hs:16:16) diff --git a/testsuite/tests/gadt/gadtSyntaxFail001.stderr b/testsuite/tests/gadt/gadtSyntaxFail001.stderr index 0413ddf320..54fa5f992b 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail001.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail001.stderr @@ -1,7 +1,7 @@ gadtSyntaxFail001.hs:8:5: - Data constructor ‛C2’ has existential type variables, a context, or a specialised result type + Data constructor ‘C2’ has existential type variables, a context, or a specialised result type C2 :: forall a. a -> Char -> Foo a Int (Use ExistentialQuantification or GADTs to allow this) - In the definition of data constructor ‛C2’ - In the data declaration for ‛Foo’ + In the definition of data constructor ‘C2’ + In the data declaration for ‘Foo’ diff --git a/testsuite/tests/gadt/gadtSyntaxFail002.stderr b/testsuite/tests/gadt/gadtSyntaxFail002.stderr index 337e39d7e8..194275b528 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail002.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail002.stderr @@ -1,7 +1,7 @@ gadtSyntaxFail002.hs:8:5: - Data constructor ‛C2’ has existential type variables, a context, or a specialised result type + Data constructor ‘C2’ has existential type variables, a context, or a specialised result type C2 :: forall a. a -> Char -> Foo a a (Use ExistentialQuantification or GADTs to allow this) - In the definition of data constructor ‛C2’ - In the data declaration for ‛Foo’ + In the definition of data constructor ‘C2’ + In the data declaration for ‘Foo’ diff --git a/testsuite/tests/gadt/gadtSyntaxFail003.stderr b/testsuite/tests/gadt/gadtSyntaxFail003.stderr index e948698d03..22f1f41ea9 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail003.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail003.stderr @@ -1,7 +1,7 @@ gadtSyntaxFail003.hs:7:5: - Data constructor ‛C1’ has existential type variables, a context, or a specialised result type + Data constructor ‘C1’ has existential type variables, a context, or a specialised result type C1 :: forall b a c. a -> Int -> c -> Foo b a (Use ExistentialQuantification or GADTs to allow this) - In the definition of data constructor ‛C1’ - In the data declaration for ‛Foo’ + In the definition of data constructor ‘C1’ + In the data declaration for ‘Foo’ diff --git a/testsuite/tests/gadt/lazypat.stderr b/testsuite/tests/gadt/lazypat.stderr index 460c600b35..e9abf58540 100644 --- a/testsuite/tests/gadt/lazypat.stderr +++ b/testsuite/tests/gadt/lazypat.stderr @@ -4,4 +4,4 @@ lazypat.hs:7:5: inside a lazy (~) pattern In the pattern: T x f In the pattern: ~(T x f) - In an equation for ‛f’: f ~(T x f) = f x + In an equation for ‘f’: f ~(T x f) = f x diff --git a/testsuite/tests/gadt/records-fail1.stderr b/testsuite/tests/gadt/records-fail1.stderr index 690649d46b..aca4d7fea8 100644 --- a/testsuite/tests/gadt/records-fail1.stderr +++ b/testsuite/tests/gadt/records-fail1.stderr @@ -1,5 +1,5 @@ records-fail1.hs:7:1: - Constructors T1 and T4 have a common field ‛x’, + Constructors T1 and T4 have a common field ‘x’, but have different result types - In the data declaration for ‛T’ + In the data declaration for ‘T’ diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr index 9273dbd27a..82b1986e54 100644 --- a/testsuite/tests/gadt/rw.stderr +++ b/testsuite/tests/gadt/rw.stderr @@ -1,20 +1,20 @@ rw.hs:14:47: - Couldn't match expected type ‛a’ with actual type ‛Int’ - ‛a’ is a rigid type variable bound by + Couldn't match expected type ‘a’ with actual type ‘Int’ + ‘a’ is a rigid type variable bound by the type signature for writeInt :: T a -> IORef a -> IO () at rw.hs:12:12 Relevant bindings include ref :: IORef a (bound at rw.hs:13:12) v :: T a (bound at rw.hs:13:10) writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1) - In the second argument of ‛writeIORef’, namely ‛(1 :: Int)’ + In the second argument of ‘writeIORef’, namely ‘(1 :: Int)’ In the expression: writeIORef ref (1 :: Int) In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int) rw.hs:19:51: - Couldn't match type ‛a’ with ‛Bool’ - ‛a’ is a rigid type variable bound by + Couldn't match type ‘a’ with ‘Bool’ + ‘a’ is a rigid type variable bound by the type signature for readBool :: T a -> IORef a -> IO () at rw.hs:16:12 Expected type: a -> Bool @@ -23,5 +23,5 @@ rw.hs:19:51: ref :: IORef a (bound at rw.hs:17:12) v :: T a (bound at rw.hs:17:10) readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1) - In the second argument of ‛(.)’, namely ‛not’ - In the second argument of ‛(>>=)’, namely ‛(print . not)’ + In the second argument of ‘(.)’, namely ‘not’ + In the second argument of ‘(>>=)’, namely ‘(print . not)’ |