Fix #11287.
[ghc.git] / testsuite / tests / th / T8028.hs
1 {-# LANGUAGE TemplateHaskell, TypeFamilies #-}
2
3 module T8028 where
4
5 import T8028a
6
7 import Language.Haskell.TH
8
9 $(x)
10
11 -- Check that the empty closed type family F produced by $(x) can
12 -- subsequently be reified
13 $(do f <- reify ''F
14 case f of
15 FamilyI (ClosedTypeFamilyD _ []) _ -> return []
16 _ -> error $ show f
17 )