Tests for Trac #2674

testsuite/tests/ghc-regress/th/T2674.hs

+{-# LANGUAGE TemplateHaskell #-}
+
+-- Trac #2674
+
+module ShouldFail where
+
+import Language.Haskell.TH
+
+$(return [FunD (mkName "foo") []])

testsuite/tests/ghc-regress/th/T2674.stderr

+
+T2674.hs:9:2:
+    Function binding for `foo' has no equations
+    When splicing generated code into the program

testsuite/tests/ghc-regress/th/TH_emptycase.hs

 {-# LANGUAGE TemplateHaskell #-}
 -- Trac #2431: empty case expression
+--             currently rejected
 
 module Main where
 

testsuite/tests/ghc-regress/th/TH_emptycase.stderr

-TH_emptycase: TH_emptycase.hs:9:4-33: Non-exhaustive patterns in case
 
+TH_emptycase.hs:10:6:
+    Case expression with no alternatives
+    When splicing generated code into the program
+    When splicing TH expression: CaseE (LitE (CharL 'a')) []
+    In the expression: $(caseE (litE $ CharL 'a') [])
+    In the definition of `f': f = $(caseE (litE $ CharL 'a') [])

testsuite/tests/ghc-regress/th/all.T

@@ -117,10 +117,11 @@ test('TH_scope', normal, compile, [''])
 test('T2632', normal, compile, [''])
 test('T2700', normal, compile, ['-v0'])
 test('T2713', normal, compile_fail, ['-v0'])
+test('T2674', normal, compile_fail, ['-v0'])
+test('TH_emptycase', normal, compile_fail, ['-v0'])
 
 test('T2386', extra_clean(['T2386_Lib.hi', 'T2386_Lib.o']),
 	      run_command,
 	      ['$MAKE -s --no-print-directory T2386'] )
-test('TH_emptycase', exit_code(1), compile_and_run, [''])
 
 test('T2685', normal, multimod_compile, ['T2685','-v0'])