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