Fix #11287.
[ghc.git] / testsuite / tests / th / T4135a.hs
1 {-# LANGUAGE TemplateHaskell, MultiParamTypeClasses, TypeFamilies,
2 FlexibleInstances #-}
3
4 module T4135a where
5
6 import Control.Monad
7 import Language.Haskell.TH
8
9 class Foo a where
10 type FooType a
11
12 createInstance' :: Q Type -> Q Dec
13 createInstance' t = liftM head [d|
14 instance Foo $t where
15 type FooType $t = String |]