Test Trac #7910

testsuite/tests/th/T7910.hs

+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE TemplateHaskell #-}
+module Main where
+
+import Language.Haskell.TH
+import Language.Haskell.TH.Syntax
+
+class C a
+instance C Int
+
+type D a = C a
+
+main = print $(
+  do isCInst <- isInstance ''C [ConT ''Int]
+     isDInst <- isInstance ''D [ConT ''Int]
+     lift (isCInst,isDInst))

testsuite/tests/th/T7910.stdout

+(True,True)

testsuite/tests/th/all.T

@@ -273,4 +273,5 @@ test('T7532',
      ['T7532', '-v0 ' + config.ghc_th_way_flags])
 test('T2222', normal, compile, ['-v0'])
 test('T1849', normal, ghci_script, ['T1849.script'])
-test('T7681', normal, compile, ['-v0'])
\ No newline at end of file
+test('T7681', normal, compile, ['-v0'])
+test('T7910', normal, compile_and_run, ['-v0'])