From 1f8c1c30194708cc7282c7fedeb2ac71ab3e0790 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Wed, 3 Oct 2012 08:56:52 +0100
Subject: [PATCH] Test Trac #7276

---
 testsuite/tests/th/T7276.hs     | 6 ++++++
 testsuite/tests/th/T7276.stderr | 9 +++++++++
 testsuite/tests/th/all.T        | 1 +
 3 files changed, 16 insertions(+)
 create mode 100644 testsuite/tests/th/T7276.hs
 create mode 100644 testsuite/tests/th/T7276.stderr

diff --git a/testsuite/tests/th/T7276.hs b/testsuite/tests/th/T7276.hs
new file mode 100644
index 0000000000..59a9ec0e8c
--- /dev/null
+++ b/testsuite/tests/th/T7276.hs
@@ -0,0 +1,6 @@
+{-# OPTIONS_GHC -fdefer-type-errors #-}
+{-# LANGUAGE TemplateHaskell #-}
+
+module T7276 where
+
+x = $( [d| y = 3 |] )
diff --git a/testsuite/tests/th/T7276.stderr b/testsuite/tests/th/T7276.stderr
new file mode 100644
index 0000000000..aeb36647dc
--- /dev/null
+++ b/testsuite/tests/th/T7276.stderr
@@ -0,0 +1,9 @@
+
+T7276.hs:6:8:
+    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 |]
+    In the expression: [d| y = 3 |]
+    In the expression: $([d| y = 3 |])
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T
index 46cdc598d8..6e332e2064 100644
--- a/testsuite/tests/th/all.T
+++ b/testsuite/tests/th/all.T
@@ -252,3 +252,4 @@ test('T7064',
      ['T7064.hs', '-v0'])
 test('T7092', extra_clean(['T7092a.hi','T7092a.o']),
               multimod_compile, ['T7092','-v0'])
+test('T7276', normal, compile_fail, ['-v0'])
-- 
GitLab