diff options
Diffstat (limited to 'testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun04.hs')
-rw-r--r-- | testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun04.hs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun04.hs b/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun04.hs new file mode 100644 index 0000000000..d49a56c94a --- /dev/null +++ b/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun04.hs @@ -0,0 +1,18 @@ +{-# LANGUAGE OverloadedRecordFields, TemplateHaskell #-} + +import GHC.Records +import Language.Haskell.TH +import Language.Haskell.TH.Syntax + +-- Splice in a datatype with field... +$(return [DataD [] (mkName "R") [] [RecC (mkName "MkR") [(mkName "foo", NotStrict, ConT ''Int)]] []]) + +-- New TH story means reify only sees R if we do this: +$(return []) + +-- ... and check that we can inspect it +main = do putStrLn $(do { info <- reify ''R + ; lift (pprint info) }) + putStrLn $(do { insts <- reifyInstances ''Has [ConT ''R, LitT (StrTyLit "foo"), ConT ''Int] + ; lift (pprint insts) }) + print (foo (MkR { foo = 42 })) |