[commit: testsuite] master: Test Trac #7276 (b88168c)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/b88168c77b7ef594a4c8a9c44b0bd8db4555682c

>---------------------------------------------------------------

commit b88168c77b7ef594a4c8a9c44b0bd8db4555682c
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Oct 3 08:56:52 2012 +0100

    Test Trac #7276

>---------------------------------------------------------------

 tests/th/T7276.hs     |    6 ++++++
 tests/th/T7276.stderr |    9 +++++++++
 tests/th/all.T        |    1 +
 3 files changed, 16 insertions(+), 0 deletions(-)

diff --git a/tests/th/T7276.hs b/tests/th/T7276.hs
new file mode 100644
index 0000000..59a9ec0
--- /dev/null
+++ b/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/tests/th/T7276.stderr b/tests/th/T7276.stderr
new file mode 100644
index 0000000..aeb3664
--- /dev/null
+++ b/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/tests/th/all.T b/tests/th/all.T
index 46cdc59..6e332e2 100644
--- a/tests/th/all.T
+++ b/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'])