summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/TH_repE1.hs
blob: d7648715496fb3adae84294867e1866e6bb480c5 (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
32
-- test the representation of literals and also explicit type annotations
{-# LANGUAGE TemplateHaskell #-}

module TH_repE1
where

import Language.Haskell.TH

integralExpr :: ExpQ
integralExpr = [| 42 |]

intExpr :: ExpQ
intExpr = [| 42 :: Int |]

integerExpr :: ExpQ
integerExpr = [| 42 :: Integer |]

charExpr :: ExpQ
charExpr = [| 'x' |]

stringExpr :: ExpQ
stringExpr = [| "A String" |]

fractionalExpr :: ExpQ
fractionalExpr = [| 1.2 |]

floatExpr :: ExpQ
floatExpr = [| 1.2 :: Float |]

doubleExpr :: ExpQ
doubleExpr = [| 1.2 :: Double |]