testsuite/tests/th/T15471A.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE TemplateHaskell #-}
module T15471A where

import Language.Haskell.TH

foo1 x = x


test_foo :: Code Q (a -> a)
test_foo = [|| foo1 ||]


list_foo :: Code Q a -> Code Q [a]
list_foo x = [|| [ $$x, $$x ] ||]