blob: 1938a9bdc33f26135dc445bdff1bf6df2c87c2f9 (
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
|
-- test the representation of literals and also explicit type annotations
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 |]
|