TH_repE3.hs

-- test the representation of literals and also explicit type annotations
{-# LANGUAGE TemplateHaskell #-}

module TH_repE1
where

import Language.Haskell.TH

emptyListExpr :: ExpQ
emptyListExpr = [| [] |]

singletonListExpr :: ExpQ
singletonListExpr = [| [4] |]

listExpr :: ExpQ
listExpr = [| [4,5,6] |]

consExpr :: ExpQ
consExpr = [| 4:5:6:[] |]