blob: c6d4781b260e9179afd1bb56dd4819bead31932b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE OverloadedRecordDot #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Main where
import Language.Haskell.TH
import T20185a
i :: Int
i = $(getFieldE [|y|] "bar")
j = $([| x.foo.bar |])
k :: X -> Int
k = $([| (.foo.bar) |])
main :: IO ()
main = do
print i
print j
print (k x)
y <- [| (.foo.bar) |]
print y
putStrLn . pprint =<< [| x.foo.bar |]
putStrLn . pprint =<< [| (id x).foo.bar |]
putStrLn . pprint =<< [| (id (id x).foo).bar |]
putStrLn . pprint =<< [| (.foo.bar) |]
putStrLn . pprint =<< [| (.foo.bar) x |]
|