blob: bbb65fa83b5cc54a45ee9e222f7b75bfdfe8b9a1 (
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 -- dito here outside of the splice!
|