summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2014-02-23 22:00:57 +0100
committerHerbert Valerio Riedel <hvr@gnu.org>2014-02-25 11:06:51 +0100
commit018676c7f883886b388652c913c99a10d2591b0b (patch)
treeddeb1cd21f74b21f12b1d1ddbc26abb934136587 /testsuite/tests/gadt
parentede5b5180c2a5db3f51b01dbef402d21ace9601c (diff)
downloadhaskell-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.stderr10
-rw-r--r--testsuite/tests/gadt/T3163.stderr4
-rw-r--r--testsuite/tests/gadt/T3169.stderr4
-rw-r--r--testsuite/tests/gadt/T3651.stderr18
-rw-r--r--testsuite/tests/gadt/T7293.stderr6
-rw-r--r--testsuite/tests/gadt/T7294.stderr6
-rw-r--r--testsuite/tests/gadt/T7558.stderr8
-rw-r--r--testsuite/tests/gadt/gadt-escape1.stderr6
-rw-r--r--testsuite/tests/gadt/gadt10.stderr10
-rw-r--r--testsuite/tests/gadt/gadt11.stderr8
-rw-r--r--testsuite/tests/gadt/gadt13.stderr12
-rw-r--r--testsuite/tests/gadt/gadt21.stderr12
-rw-r--r--testsuite/tests/gadt/gadt7.stderr8
-rw-r--r--testsuite/tests/gadt/gadtSyntaxFail001.stderr6
-rw-r--r--testsuite/tests/gadt/gadtSyntaxFail002.stderr6
-rw-r--r--testsuite/tests/gadt/gadtSyntaxFail003.stderr6
-rw-r--r--testsuite/tests/gadt/lazypat.stderr2
-rw-r--r--testsuite/tests/gadt/records-fail1.stderr4
-rw-r--r--testsuite/tests/gadt/rw.stderr14
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)’