summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/th/T2597b.stderr2
-rw-r--r--testsuite/tests/th/T3395.stderr2
-rw-r--r--testsuite/tests/th/T3600.stderr2
-rw-r--r--testsuite/tests/th/T5358.stderr2
-rw-r--r--testsuite/tests/th/T5508.stderr2
-rw-r--r--testsuite/tests/th/T5795.stderr1
-rw-r--r--testsuite/tests/th/T5971.stderr2
-rw-r--r--testsuite/tests/th/T6114.stderr2
-rw-r--r--testsuite/tests/th/T7276.stderr3
-rw-r--r--testsuite/tests/th/T7276a.stdout4
-rw-r--r--testsuite/tests/th/T7532.stderr4
-rw-r--r--testsuite/tests/th/T7667a.stderr2
-rw-r--r--testsuite/tests/th/T8412.stderr1
-rw-r--r--testsuite/tests/th/TH_1tuple.stderr2
-rw-r--r--testsuite/tests/th/TH_runIO.stderr2
-rw-r--r--testsuite/tests/th/TH_unresolvedInfix2.stderr6
16 files changed, 11 insertions, 28 deletions
diff --git a/testsuite/tests/th/T2597b.stderr b/testsuite/tests/th/T2597b.stderr
index 7d0a207e3a..99ff754ae1 100644
--- a/testsuite/tests/th/T2597b.stderr
+++ b/testsuite/tests/th/T2597b.stderr
@@ -2,4 +2,4 @@
T2597b.hs:8:8:
Empty stmt list in do-block
When splicing a TH expression: do
- In the expression: $mkBug2
+ In the splice: $mkBug2
diff --git a/testsuite/tests/th/T3395.stderr b/testsuite/tests/th/T3395.stderr
index 31a0623233..b3d9874a07 100644
--- a/testsuite/tests/th/T3395.stderr
+++ b/testsuite/tests/th/T3395.stderr
@@ -4,7 +4,7 @@ T3395.hs:6:9:
r1 <- undefined
(It should be an expression.)
When splicing a TH expression: [r1 <- undefined | undefined]
- In the expression:
+ In the splice:
$(return
$ CompE
[NoBindS (VarE $ mkName "undefined"),
diff --git a/testsuite/tests/th/T3600.stderr b/testsuite/tests/th/T3600.stderr
index 8ab357db1a..2cd8332ce9 100644
--- a/testsuite/tests/th/T3600.stderr
+++ b/testsuite/tests/th/T3600.stderr
@@ -2,4 +2,4 @@ T3600.hs:1:1: Splicing declarations
test
======>
T3600.hs:5:3-6
- myFunction = (testFun1 [], testFun2 "", testFun2 "x")
+ myFunction = (testFun1 [], testFun2 [], testFun2 "x")
diff --git a/testsuite/tests/th/T5358.stderr b/testsuite/tests/th/T5358.stderr
index cab4b97536..fd7e32c58a 100644
--- a/testsuite/tests/th/T5358.stderr
+++ b/testsuite/tests/th/T5358.stderr
@@ -4,6 +4,6 @@ T5358.hs:14:15:
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) }
- In the expression:
+ In the splice:
$(do { VarI _ t _ _ <- reify (mkName "prop_x1");
error $ ("runTest called error: " ++ pprint t) })
diff --git a/testsuite/tests/th/T5508.stderr b/testsuite/tests/th/T5508.stderr
index f1a553a02b..3cd9bf27ed 100644
--- a/testsuite/tests/th/T5508.stderr
+++ b/testsuite/tests/th/T5508.stderr
@@ -2,6 +2,6 @@ T5508.hs:(7,9)-(9,28): Splicing expression
do { let x = mkName "x"
v = return (LamE [VarP x] $ VarE x);
[| $v . id |]
- pending(rn) [(splice, v)] }
+ pending(rn) [<splice, v>] }
======>
((\ x -> x) . id)
diff --git a/testsuite/tests/th/T5795.stderr b/testsuite/tests/th/T5795.stderr
index 70934924d0..757ba72cfd 100644
--- a/testsuite/tests/th/T5795.stderr
+++ b/testsuite/tests/th/T5795.stderr
@@ -4,4 +4,3 @@ T5795.hs:9:6:
‛ty’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the splice: $ty
- To see what the splice expanded to, use -ddump-splices
diff --git a/testsuite/tests/th/T5971.stderr b/testsuite/tests/th/T5971.stderr
index e6538c0b2f..9d647d1ea7 100644
--- a/testsuite/tests/th/T5971.stderr
+++ b/testsuite/tests/th/T5971.stderr
@@ -5,5 +5,3 @@ T5971.hs:6:7:
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
In the splice: $(newName "x" >>= varE)
- To see what the splice expanded to, use -ddump-splices
- In the expression: $(newName "x" >>= varE)
diff --git a/testsuite/tests/th/T6114.stderr b/testsuite/tests/th/T6114.stderr
index ff93cb2d7a..6267aa6405 100644
--- a/testsuite/tests/th/T6114.stderr
+++ b/testsuite/tests/th/T6114.stderr
@@ -5,7 +5,7 @@ T6114.hs:6:17:
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
In the argument of reifyInstances: GHC.Classes.Eq x_0
- In the expression:
+ In the splice:
$(do { xName <- newName "x";
instanceType <- [t| $(varT xName) |];
_ <- reifyInstances ''Eq [instanceType];
diff --git a/testsuite/tests/th/T7276.stderr b/testsuite/tests/th/T7276.stderr
index d1bb7c71fe..7b76966617 100644
--- a/testsuite/tests/th/T7276.stderr
+++ b/testsuite/tests/th/T7276.stderr
@@ -4,6 +4,5 @@ T7276.hs:6:8:
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 |]
In the expression: [d| y = 3 |]
- In the expression: $([d| y = 3 |])
+ In the splice: $([d| y = 3 |])
diff --git a/testsuite/tests/th/T7276a.stdout b/testsuite/tests/th/T7276a.stdout
index 15ece93372..2edeaaeb3f 100644
--- a/testsuite/tests/th/T7276a.stdout
+++ b/testsuite/tests/th/T7276a.stdout
@@ -3,7 +3,6 @@
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
@@ -13,9 +12,8 @@
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
(deferred type error)
Code: x
- In the expression: $x
+ In the splice: $x
diff --git a/testsuite/tests/th/T7532.stderr b/testsuite/tests/th/T7532.stderr
index 840be3adfc..0890ae2f89 100644
--- a/testsuite/tests/th/T7532.stderr
+++ b/testsuite/tests/th/T7532.stderr
@@ -3,10 +3,6 @@
instance C Bool where
data D Bool = T7532.MkD
-
-==================== Renamer ====================
-$bang
-
T7532.hs:1:1: Splicing declarations
bang
======>
diff --git a/testsuite/tests/th/T7667a.stderr b/testsuite/tests/th/T7667a.stderr
index b8258cba6d..7e85d06017 100644
--- a/testsuite/tests/th/T7667a.stderr
+++ b/testsuite/tests/th/T7667a.stderr
@@ -2,4 +2,4 @@
T7667a.hs:8:12:
Illegal variable name: ‛False’
When splicing a TH expression: False
- In the expression: $(return $ VarE (mkName "False"))
+ In the splice: $(return $ VarE (mkName "False"))
diff --git a/testsuite/tests/th/T8412.stderr b/testsuite/tests/th/T8412.stderr
index 8def7843d5..64e2d41694 100644
--- a/testsuite/tests/th/T8412.stderr
+++ b/testsuite/tests/th/T8412.stderr
@@ -2,4 +2,3 @@
T8412.hs:5:12:
Illegal literal in type (type literals must not be negative): -1
In the splice: $(return $ LitT $ NumTyLit (- 1))
- To see what the splice expanded to, use -ddump-splices
diff --git a/testsuite/tests/th/TH_1tuple.stderr b/testsuite/tests/th/TH_1tuple.stderr
index cd6aaca8cd..4e1d38b879 100644
--- a/testsuite/tests/th/TH_1tuple.stderr
+++ b/testsuite/tests/th/TH_1tuple.stderr
@@ -2,4 +2,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 the splice: $(sigE [| 1 |] (tupleT 1))
diff --git a/testsuite/tests/th/TH_runIO.stderr b/testsuite/tests/th/TH_runIO.stderr
index 14c3ec8144..8173e8337c 100644
--- a/testsuite/tests/th/TH_runIO.stderr
+++ b/testsuite/tests/th/TH_runIO.stderr
@@ -3,4 +3,4 @@ TH_runIO.hs:12:9:
Exception when trying to run compile-time code:
user error (hi)
Code: runIO (fail "hi")
- In the expression: $(runIO (fail "hi"))
+ In the splice: $(runIO (fail "hi"))
diff --git a/testsuite/tests/th/TH_unresolvedInfix2.stderr b/testsuite/tests/th/TH_unresolvedInfix2.stderr
index 30b1aa4844..4baa35a351 100644
--- a/testsuite/tests/th/TH_unresolvedInfix2.stderr
+++ b/testsuite/tests/th/TH_unresolvedInfix2.stderr
@@ -6,12 +6,6 @@ TH_unresolvedInfix2.hs:14:11:
in the section: ‛:+ N :+ N’
In the splice:
$(let
- plus = conE ':+
- n = conE 'N
- in infixE Nothing plus (Just $ uInfixE n plus n))
- To see what the splice expanded to, use -ddump-splices
- In the expression:
- $(let
plus = conE ...
n = conE ...
in infixE Nothing plus (Just $ uInfixE n plus n))