blob: 94b6368b7be5c6064813bfbf2f63cef24fa01680 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TemplateHaskell #-}
module T11809 where
{- Test splicing in a data type with records -}
[d|
data D a = MkD { unD :: a }
someD = MkD "Hello"
getD = unD someD -- unD should resolve to the record selector above!
|]
getD' = unD someD -- ditto here outside of the splice!
|