blob: abe7931b51d51aaf1f7603c76365388c9dc19277 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TemplateHaskell #-}
module T7092a where
import Language.Haskell.TH
code :: Q Exp
code = do
n1 <- newName "foo"
n2 <- newName "foo"
letE [valD (varP n1) (normalB [| (1 :: Int) |]) []]
$ letE [valD (varP n2) (normalB [| (2 :: Int) |]) []]
$ appE (appE [| ((+) :: Int -> Int -> Int)|] (varE n1)) (varE n2)
|
