Test Trac #5362

testsuite/tests/th/T5362.hs

+{-# LANGUAGE TemplateHaskell #-}
+
+module T5362() where
+
+import System.IO
+import Language.Haskell.TH
+
+$(
+     do fName <- newName "f"
+        gName <- newName "g"
+        let gExp = varE gName
+
+        sdf <- sigD fName [t| () |]
+        sdg <- sigD gName [t| () |]
+        fdf <- funD fName [clause [] (normalB [| undefined $gExp |]) []]
+        fdg <- funD gName [clause [] (normalB [| undefined       |]) []]
+        let ds = [sdf, fdf, sdg, fdg]
+        runIO $ do { putStrLn (pprint ds); hFlush stdout }
+        return ds
+     )
+
+
+

testsuite/tests/th/T5362.stderr

+f_0 :: GHC.Unit.()
+f_0 = GHC.Err.undefined g_1
+g_1 :: GHC.Unit.()
+g_1 = GHC.Err.undefined

testsuite/tests/th/all.T

@@ -183,6 +183,7 @@ test('T5217', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
 test('T5037', normal, compile, ['-v0'])
 test('TH_unboxedSingleton', normal, compile, ['-v0'])
 test('T5290', normal, compile, ['-v0 -ddump-splices'])
+test('T5362', normal, compile, ['-v0'])
 
 test('TH_unresolvedInfix',
      extra_clean(['TH_unresolvedInfix_Lib.hi', 'TH_unresolvedInfix_Lib.o']),