blob: 6145428aafecef2fca0b72e1a87e0fb4d8badf40 (
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
)
|
