Fix #11287.
[ghc.git] / testsuite / tests / th / T5452.hs
1 {-# LANGUAGE TemplateHaskell, KindSignatures, FlexibleInstances #-}
2
3 module T5452 where
4 import Language.Haskell.TH
5
6 class C (f :: * -> *)
7 class D (f :: * -> *)
8
9 instance C ((,) Int)
10
11 $(do { ClassI _ [inst_dec] <- reify ''C
12 ; let InstanceD cxt (AppT _ ty) _ = inst_dec
13 ; return [InstanceD cxt
14 (foldl AppT (ConT ''D) [ty])
15 []
16 ] })
17