Test Trac #5037

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

+{-# LANGUAGE TemplateHaskell #-}
+module T5037 where
+import Language.Haskell.TH
+import System.IO
+
+$( do ds <- [d|  f :: Maybe Int -> Int
+                 f Nothing = 3
+                 f (Just x) = $(varE (mkName "x"))
+            |]
+      runIO $ (putStrLn (pprint ds) >> hFlush stdout)
+      return ds )

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

+f :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
+f (Data.Maybe.Nothing) = 3
+f (Data.Maybe.Just x_0) = x

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

@@ -180,3 +180,4 @@ test('T4436', normal, compile, ['-v0 -ddump-splices'])
 test('T4949', normal, compile, ['-v0'])
 test('T5126', normal, compile, ['-v0'])
 test('T5217', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
+test('T5037', normal, compile, ['-v0'])