Fix #11287.
[ghc.git] / testsuite / tests / th / T7910.hs
1 {-# LANGUAGE ConstraintKinds #-}
2 {-# LANGUAGE TemplateHaskell #-}
3 module Main where
4
5 import Language.Haskell.TH
6 import Language.Haskell.TH.Syntax
7
8 class C a
9 instance C Int
10
11 type D a = C a
12
13 $(return [])
14
15 main = print $(
16 do isCInst <- isInstance ''C [ConT ''Int]
17 isDInst <- isInstance ''D [ConT ''Int]
18 lift (isCInst,isDInst))