Add another TH test

test/data/THNewName/A.hs

@@ -0,0 +1,8 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module A (template) where
+
+import Language.Haskell.TH
+
+template :: DecsQ
+template = (\consA -> [DataD [] (mkName "A") [] Nothing [NormalC consA []] []]) <$> newName "A"

test/data/THNewName/B.hs

@@ -0,0 +1,6 @@
+{-# LANGUAGE TemplateHaskell #-}
+module B(A(A)) where
+
+import A
+
+template

test/data/THNewName/C.hs

@@ -0,0 +1,6 @@
+{-# OPTIONS_GHC -Wall #-}
+{-# LANGUAGE TemplateHaskell #-}
+module C where
+import B
+
+a = A

test/exe/Main.hs

@@ -2274,6 +2274,20 @@ thTests =
         _ <- createDoc "A.hs" "haskell" sourceA
         _ <- createDoc "B.hs" "haskell" sourceB
         expectDiagnostics [ ( "B.hs", [(DsWarning, (4, 0), "Top-level binding with no type signature: main :: IO ()")] ) ]
+    , testCase "findsTHnewNameConstructor" $ withoutStackEnv $ runWithExtraFiles "THNewName" $ \dir -> do
+
+    let cPath = dir </> "C.hs"
+
+    -- This test defines a TH value with the meaning "data A = A" in A.hs
+    -- Loads and export the template in B.hs
+    -- And checks wether the constructor A can be loaded in C.hs
+    -- This test does not fail when either A and B get manually loaded before C.hs
+    -- or when we remove the seemingly unnecessary TH pragma from C.hs
+    cSource <- liftIO $ readFileUtf8 cPath
+
+    _ <- createDoc cPath "haskell" cSource
+
+    expectDiagnostics [ ( cPath, [(DsWarning, (5, 0), "Top-level binding with no type signature: a :: A")] ) ]
     ]
 
 -- | test that TH is reevaluated on typecheck