summaryrefslogtreecommitdiff
path: root/testsuite/tests/th
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/th')
-rw-r--r--testsuite/tests/th/T2597b.stderr2
-rw-r--r--testsuite/tests/th/T2674.stderr2
-rw-r--r--testsuite/tests/th/T2713.stderr8
-rw-r--r--testsuite/tests/th/T3177a.stderr10
-rw-r--r--testsuite/tests/th/T3395.stderr7
-rw-r--r--testsuite/tests/th/T5358.stderr34
-rw-r--r--testsuite/tests/th/T5795.stderr4
-rw-r--r--testsuite/tests/th/T5971.stderr2
-rw-r--r--testsuite/tests/th/T6114.stderr4
-rw-r--r--testsuite/tests/th/T7276.stderr4
-rw-r--r--testsuite/tests/th/T7276a.stdout8
-rw-r--r--testsuite/tests/th/TH_1tuple.stderr2
-rw-r--r--testsuite/tests/th/TH_dupdecl.stderr2
-rw-r--r--testsuite/tests/th/TH_runIO.stderr4
-rw-r--r--testsuite/tests/th/TH_spliceD1.stderr4
-rw-r--r--testsuite/tests/th/TH_unresolvedInfix2.stderr8
16 files changed, 53 insertions, 52 deletions
diff --git a/testsuite/tests/th/T2597b.stderr b/testsuite/tests/th/T2597b.stderr
index 8881b81044..a9295ebd5f 100644
--- a/testsuite/tests/th/T2597b.stderr
+++ b/testsuite/tests/th/T2597b.stderr
@@ -3,4 +3,4 @@ T2597b.hs:8:8:
Empty stmt list in do-block
When splicing a TH expression: do
In the expression: $mkBug2
- In an equation for `bug2': bug2 = $mkBug2
+ In an equation for ‛bug2’: bug2 = $mkBug2
diff --git a/testsuite/tests/th/T2674.stderr b/testsuite/tests/th/T2674.stderr
index a69781dfe4..6875684dda 100644
--- a/testsuite/tests/th/T2674.stderr
+++ b/testsuite/tests/th/T2674.stderr
@@ -1,4 +1,4 @@
T2674.hs:9:3:
- Function binding for `foo' has no equations
+ Function binding for ‛foo’ has no equations
When splicing a TH declaration:
diff --git a/testsuite/tests/th/T2713.stderr b/testsuite/tests/th/T2713.stderr
index 16f130c65a..c036b43848 100644
--- a/testsuite/tests/th/T2713.stderr
+++ b/testsuite/tests/th/T2713.stderr
@@ -1,8 +1,8 @@
T2713.hs:11:10:
- The fixity signature for `.*.' lacks an accompanying binding
- (The fixity signature must be given where `.*.' is declared)
+ The fixity signature for ‛.*.’ lacks an accompanying binding
+ (The fixity signature must be given where ‛.*.’ is declared)
T2713.hs:12:1:
- The type signature for `f' lacks an accompanying binding
- (The type signature must be given where `f' is declared)
+ The type signature for ‛f’ lacks an accompanying binding
+ (The type signature must be given where ‛f’ is declared)
diff --git a/testsuite/tests/th/T3177a.stderr b/testsuite/tests/th/T3177a.stderr
index a39419b948..4e9d4dd8fa 100644
--- a/testsuite/tests/th/T3177a.stderr
+++ b/testsuite/tests/th/T3177a.stderr
@@ -1,10 +1,10 @@
T3177a.hs:8:15:
- `Int' is applied to too many type arguments
- In the type `Int Int'
+ ‛Int’ is applied to too many type arguments
+ In the type ‛Int Int’
In the Template Haskell quotation [t| Int Int |]
- In the first argument of `id', namely `[t| Int Int |]'
+ In the first argument of ‛id’, namely ‛[t| Int Int |]’
T3177a.hs:11:6:
- `Int' is applied to too many type arguments
- In the type signature for `g': g :: Int Int
+ ‛Int’ is applied to too many type arguments
+ In the type signature for ‛g’: g :: Int Int
diff --git a/testsuite/tests/th/T3395.stderr b/testsuite/tests/th/T3395.stderr
index f85f7cc1da..cd25afe039 100644
--- a/testsuite/tests/th/T3395.stderr
+++ b/testsuite/tests/th/T3395.stderr
@@ -5,12 +5,13 @@ T3395.hs:6:9:
(It should be an expression.)
When splicing a TH expression: [r1 <- undefined | undefined]
In the expression:
- $(return
+ $(return
$ CompE
[NoBindS (VarE $ mkName "undefined"),
BindS (VarP $ mkName "r1") (VarE $ mkName "undefined")])
- In an equation for `foo':
- foo = $(return
+ In an equation for ‛foo’:
+ foo
+ = $(return
$ CompE
[NoBindS (VarE $ mkName "undefined"),
BindS (VarP $ mkName "r1") (VarE $ mkName "undefined")])
diff --git a/testsuite/tests/th/T5358.stderr b/testsuite/tests/th/T5358.stderr
index 26c83758d5..bc4138f8a9 100644
--- a/testsuite/tests/th/T5358.stderr
+++ b/testsuite/tests/th/T5358.stderr
@@ -1,43 +1,43 @@
T5358.hs:7:1:
- Couldn't match expected type `t1 -> t1' with actual type `Int'
- The equation(s) for `t1' have one argument,
- but its type `Int' has none
+ Couldn't match expected type ‛t1 -> t1’ with actual type ‛Int’
+ The equation(s) for ‛t1’ have one argument,
+ but its type ‛Int’ has none
T5358.hs:8:1:
- Couldn't match expected type `t0 -> t0' with actual type `Int'
- The equation(s) for `t2' have one argument,
- but its type `Int' has none
+ Couldn't match expected type ‛t0 -> t0’ with actual type ‛Int’
+ The equation(s) for ‛t2’ have one argument,
+ but its type ‛Int’ has none
T5358.hs:10:13:
- Couldn't match expected type `t -> a0' with actual type `Int'
+ Couldn't match expected type ‛t -> a0’ with actual type ‛Int’
Relevant bindings include
prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
x :: t (bound at T5358.hs:10:9)
- The function `t1' is applied to one argument,
- but its type `Int' has none
- In the first argument of `(==)', namely `t1 x'
+ The function ‛t1’ is applied to one argument,
+ but its type ‛Int’ has none
+ In the first argument of ‛(==)’, namely ‛t1 x’
In the expression: t1 x == t2 x
T5358.hs:10:21:
- Couldn't match expected type `t -> a0' with actual type `Int'
+ Couldn't match expected type ‛t -> a0’ with actual type ‛Int’
Relevant bindings include
prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
x :: t (bound at T5358.hs:10:9)
- The function `t2' is applied to one argument,
- but its type `Int' has none
- In the second argument of `(==)', namely `t2 x'
+ The function ‛t2’ is applied to one argument,
+ but its type ‛Int’ has none
+ In the second argument of ‛(==)’, namely ‛t2 x’
In the expression: t1 x == t2 x
T5358.hs:12:15:
Exception when trying to run compile-time code:
runTest called error: forall t_0 . t_0 -> GHC.Types.Bool
- Code: do { VarI _ t _ _ <- reify (mkName "prop_x1");
- ($) error ((++) "runTest called error: " pprint t) }
+ Code: do { VarI _ t _ _ <- reify (mkName "prop_x1");
+ ($) error ((++) "runTest called error: " pprint t) }
In the expression:
$(do { VarI _ t _ _ <- reify (mkName "prop_x1");
error $ ("runTest called error: " ++ pprint t) })
- In an equation for `runTests':
+ In an equation for ‛runTests’:
runTests
= $(do { VarI _ t _ _ <- reify (mkName "prop_x1");
error $ ("runTest called error: " ++ pprint t) })
diff --git a/testsuite/tests/th/T5795.stderr b/testsuite/tests/th/T5795.stderr
index 5fce537ea6..74d6c34941 100644
--- a/testsuite/tests/th/T5795.stderr
+++ b/testsuite/tests/th/T5795.stderr
@@ -1,7 +1,7 @@
T5795.hs:9:6:
GHC stage restriction:
- `ty' is used in a top-level splice or annotation,
+ ‛ty’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the expression: ty
- In the type signature for `f': f :: $ty
+ In the type signature for ‛f’: f :: $ty
diff --git a/testsuite/tests/th/T5971.stderr b/testsuite/tests/th/T5971.stderr
index 3a06330a47..9f3f993813 100644
--- a/testsuite/tests/th/T5971.stderr
+++ b/testsuite/tests/th/T5971.stderr
@@ -1,6 +1,6 @@
T5971.hs:6:7:
- The exact Name `x' is not in scope
+ The exact Name ‛x’ is not in scope
Probable cause: you used a unique Template Haskell name (NameU),
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
diff --git a/testsuite/tests/th/T6114.stderr b/testsuite/tests/th/T6114.stderr
index 253c7c4d67..e588ada7f3 100644
--- a/testsuite/tests/th/T6114.stderr
+++ b/testsuite/tests/th/T6114.stderr
@@ -1,6 +1,6 @@
T6114.hs:6:17:
- The exact Name `x' is not in scope
+ The exact Name ‛x’ is not in scope
Probable cause: you used a unique Template Haskell name (NameU),
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
@@ -10,7 +10,7 @@ T6114.hs:6:17:
instanceType <- [t| $(varT xName) |];
_ <- reifyInstances ''Eq [instanceType];
.... })
- In an equation for `instanceVar':
+ In an equation for ‛instanceVar’:
instanceVar
= $(do { xName <- newName "x";
instanceType <- [t| $(varT xName) |];
diff --git a/testsuite/tests/th/T7276.stderr b/testsuite/tests/th/T7276.stderr
index aeb36647dc..d1bb7c71fe 100644
--- a/testsuite/tests/th/T7276.stderr
+++ b/testsuite/tests/th/T7276.stderr
@@ -1,7 +1,7 @@
T7276.hs:6:8:
- Couldn't match type `[Language.Haskell.TH.Syntax.Dec]'
- with `Language.Haskell.TH.Syntax.Exp'
+ Couldn't match type ‛[Language.Haskell.TH.Syntax.Dec]’
+ with ‛Language.Haskell.TH.Syntax.Exp’
Expected type: Language.Haskell.TH.Lib.ExpQ
Actual type: Language.Haskell.TH.Lib.DecsQ
In the Template Haskell quotation [d| y = 3 |]
diff --git a/testsuite/tests/th/T7276a.stdout b/testsuite/tests/th/T7276a.stdout
index 8c4f7afc64..15ece93372 100644
--- a/testsuite/tests/th/T7276a.stdout
+++ b/testsuite/tests/th/T7276a.stdout
@@ -1,21 +1,21 @@
<interactive>:4:9: Warning:
- Couldn't match type `[Dec]' with `Exp'
+ Couldn't match type ‛[Dec]’ with ‛Exp’
Expected type: Q Exp
Actual type: DecsQ
In the Template Haskell quotation [d| a = () |]
In the expression: [d| a = () |] :: Q Exp
- In an equation for `x': x = [d| a = () |] :: Q Exp
+ In an equation for ‛x’: x = [d| a = () |] :: Q Exp
<interactive>:1:1:
Exception when trying to run compile-time code:
<interactive>:4:9:
- Couldn't match type `[Dec]' with `Exp'
+ Couldn't match type ‛[Dec]’ with ‛Exp’
Expected type: Q Exp
Actual type: DecsQ
In the Template Haskell quotation [d| a = () |]
In the expression: [d| a = () |] :: Q Exp
- In an equation for `x': x = [d| a = () |] :: Q Exp
+ In an equation for ‛x’: x = [d| a = () |] :: Q Exp
(deferred type error)
Code: x
In the expression: $x
diff --git a/testsuite/tests/th/TH_1tuple.stderr b/testsuite/tests/th/TH_1tuple.stderr
index cb8889e4ca..309bde5ebf 100644
--- a/testsuite/tests/th/TH_1tuple.stderr
+++ b/testsuite/tests/th/TH_1tuple.stderr
@@ -3,4 +3,4 @@ TH_1tuple.hs:11:7:
Illegal 1-tuple type constructor
When splicing a TH expression: 1 :: ()
In the expression: $(sigE [| 1 |] (tupleT 1))
- In an equation for `y': y = $(sigE [| 1 |] (tupleT 1))
+ In an equation for ‛y’: y = $(sigE [| 1 |] (tupleT 1))
diff --git a/testsuite/tests/th/TH_dupdecl.stderr b/testsuite/tests/th/TH_dupdecl.stderr
index a8628a3de7..4bd90febad 100644
--- a/testsuite/tests/th/TH_dupdecl.stderr
+++ b/testsuite/tests/th/TH_dupdecl.stderr
@@ -1,5 +1,5 @@
TH_dupdecl.hs:10:4:
- Multiple declarations of `x'
+ Multiple declarations of ‛x’
Declared at: TH_dupdecl.hs:8:4
TH_dupdecl.hs:10:4
diff --git a/testsuite/tests/th/TH_runIO.stderr b/testsuite/tests/th/TH_runIO.stderr
index f7a536a95a..6d7499a3da 100644
--- a/testsuite/tests/th/TH_runIO.stderr
+++ b/testsuite/tests/th/TH_runIO.stderr
@@ -2,6 +2,6 @@
TH_runIO.hs:12:9:
Exception when trying to run compile-time code:
user error (hi)
- Code: runIO (fail "hi")
+ Code: runIO (fail "hi")
In the expression: $(runIO (fail "hi"))
- In an equation for `foo': foo = $(runIO (fail "hi"))
+ In an equation for ‛foo’: foo = $(runIO (fail "hi"))
diff --git a/testsuite/tests/th/TH_spliceD1.stderr b/testsuite/tests/th/TH_spliceD1.stderr
index d54ef19b88..2a93bb4f5a 100644
--- a/testsuite/tests/th/TH_spliceD1.stderr
+++ b/testsuite/tests/th/TH_spliceD1.stderr
@@ -1,6 +1,6 @@
TH_spliceD1.hs:10:3:
- Conflicting definitions for `c'
+ Conflicting definitions for ‛c’
Bound at: TH_spliceD1.hs:10:3-5
TH_spliceD1.hs:10:3-5
- In an equation for `f'
+ In an equation for ‛f’
diff --git a/testsuite/tests/th/TH_unresolvedInfix2.stderr b/testsuite/tests/th/TH_unresolvedInfix2.stderr
index a23cd4ae91..fab508a331 100644
--- a/testsuite/tests/th/TH_unresolvedInfix2.stderr
+++ b/testsuite/tests/th/TH_unresolvedInfix2.stderr
@@ -1,9 +1,9 @@
TH_unresolvedInfix2.hs:12:11:
- The operator `:+' [infixl 6] of a section
+ The operator ‛:+’ [infixl 6] of a section
must have lower precedence than that of the operand,
- namely `:+' [infixl 6]
- in the section: `:+ N :+ N'
+ namely ‛:+’ [infixl 6]
+ in the section: ‛:+ N :+ N’
In the result of the splice:
$(let
plus = conE ':+
@@ -15,7 +15,7 @@ TH_unresolvedInfix2.hs:12:11:
plus = conE ...
n = conE ...
in infixE Nothing plus (Just $ uInfixE n plus n))
- In an equation for `expr':
+ In an equation for ‛expr’:
expr
= $(let
plus = ...
View Lorry Controller Status