Test Trac #7276 (part 2)

3 files changed, 26 insertions, 0 deletions

diff --git a/testsuite/tests/th/T7276a.script b/testsuite/tests/th/T7276a.script
new file mode 100644
index 0000000000..5ebd911233
--- /dev/null
+++ b/testsuite/tests/th/T7276a.script
@@ -0,0 +1,4 @@
+:set -XTemplateHaskell -fdefer-type-errors
+import Language.Haskell.TH
+let x = [d|a = ()|] :: Q Exp
+:t $x
diff --git a/testsuite/tests/th/T7276a.stdout b/testsuite/tests/th/T7276a.stdout
new file mode 100644
index 0000000000..8c4f7afc64
--- /dev/null
+++ b/testsuite/tests/th/T7276a.stdout
@@ -0,0 +1,21 @@
+
+<interactive>:4:9: Warning:
+    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
+
+<interactive>:1:1:
+    Exception when trying to run compile-time code:
+      <interactive>:4:9:
+    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
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T
index 6e332e2064..d74bbead75 100644
--- a/testsuite/tests/th/all.T
+++ b/testsuite/tests/th/all.T
@@ -253,3 +253,4 @@ test('T7064',
 test('T7092', extra_clean(['T7092a.hi','T7092a.o']),
               multimod_compile, ['T7092','-v0'])
 test('T7276', normal, compile_fail, ['-v0'])
+test('T7276a', combined_output, ghci_script, ['T7276a.script'])