Test Trac #5721

testsuite/tests/th/T5721.hs

+{-# LANGUAGE TemplateHaskell, ScopedTypeVariables #-}  
+
+module T5371 where
+import Language.Haskell.TH
+
+f :: a -> Name
+f (x :: a) = ''a

testsuite/tests/th/all.T

@@ -219,4 +219,5 @@ test('T5665', extra_clean(['T5665a.hi','T5665a.o']),
               multimod_compile, ['T5665','-v0'])
 test('T5700', extra_clean(['T5700a.hi','T5700a.o']), 
               multimod_compile, ['T5700','-v0 -ddump-splices'])
+test('T5721', normal, compile, ['-v0'])