Test Trac #7276

testsuite/tests/th/T7276.hs

+{-# OPTIONS_GHC -fdefer-type-errors #-}
+{-# LANGUAGE TemplateHaskell #-}
+
+module T7276 where
+
+x = $( [d| y = 3 |] )

testsuite/tests/th/T7276.stderr

+
+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 |])

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'])