blob: 8fe5d9f808539b49e71b0d6febf76d8de0e6128f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE TemplateHaskell #-}
module T17551 where
import Language.Haskell.TH
data Foo = Foo { foo :: Int }
data Bar = Bar { foo :: Int }
$(do
TyConI (DataD _ _ _ _ [RecC con [(field, _, _)]] _) <- reify ''Bar
reify field
pure []
)
|
