Test Trac #5971

testsuite/tests/th/T5971.hs

+{-# LANGUAGE TemplateHaskell #-}
+module T5971 where
+
+import Language.Haskell.TH
+
+_ = $(newName "x" >>= varE)

testsuite/tests/th/T5971.stderr

+
+T5971.hs:6:7:
+    The exact Name `x' is not in scope
+      Probable cause: you used a unique name (NameU) in Template Haskell but did not bind it
+    In the result of the splice:
+      $(newName "x" >>= varE)
+    To see what the splice expanded to, use -ddump-splices
+    In the expression: $(newName "x" >>= varE)
+    In a pattern binding: _ = $(newName "x" >>= varE)

testsuite/tests/th/all.T

@@ -226,4 +226,5 @@ test('T5882', normal, compile, ['-v0'])
 test('T5886', extra_clean(['T5886a.hi','T5886a.o']), 
               multimod_compile, ['T5886','-v0'])
 test('T4135', normal, compile, ['-v0'])
+test('T5971', normal, compile_fail, ['-v0 -dsuppress-uniques'])