blob: a48d3fddd40c6f22fdf1a031af70f56898df466f (
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
|
{-# 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)
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 |]
|