2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[HsLit]{Abstract syntax: source-language literals}
9 #include "HsVersions.h"
12 import HsTypes ( SyntaxName, PostTcType )
15 import Ratio ( Rational )
19 %************************************************************************
21 \subsection[HsLit]{Literals}
23 %************************************************************************
28 = HsChar Int -- Character
29 | HsCharPrim Int -- Unboxed character
30 | HsString FastString -- String
31 | HsStringPrim FastString -- Packed string
32 | HsInt Integer -- Genuinely an Int; arises from TcGenDeriv,
33 -- and from TRANSLATION
34 | HsIntPrim Integer -- Unboxed Int
35 | HsInteger Integer -- Genuinely an integer; arises only from TRANSLATION
36 -- (overloaded literals are done with HsOverLit)
37 | HsRat Rational Type -- Genuinely a rational; arises only from TRANSLATION
38 -- (overloaded literals are done with HsOverLit)
39 | HsFloatPrim Rational -- Unboxed Float
40 | HsDoublePrim Rational -- Unboxed Double
42 instance Eq HsLit where
43 (HsChar x1) == (HsChar x2) = x1==x2
44 (HsCharPrim x1) == (HsCharPrim x2) = x1==x2
45 (HsString x1) == (HsString x2) = x1==x2
46 (HsStringPrim x1) == (HsStringPrim x2) = x1==x2
47 (HsInt x1) == (HsInt x2) = x1==x2
48 (HsIntPrim x1) == (HsIntPrim x2) = x1==x2
49 (HsInteger x1) == (HsInteger x2) = x1==x2
50 (HsRat x1 _) == (HsRat x2 _) = x1==x2
51 (HsFloatPrim x1) == (HsFloatPrim x2) = x1==x2
52 (HsDoublePrim x1) == (HsDoublePrim x2) = x1==x2
55 data HsOverLit -- An overloaded literal
56 = HsIntegral Integer SyntaxName -- Integer-looking literals;
57 -- The name is fromInteger
58 | HsFractional Rational SyntaxName -- Frac-looking literals
59 -- The name is fromRational
61 instance Eq HsOverLit where
62 (HsIntegral i1 _) == (HsIntegral i2 _) = i1 == i2
63 (HsFractional f1 _) == (HsFractional f2 _) = f1 == f2
65 instance Ord HsOverLit where
66 compare (HsIntegral i1 _) (HsIntegral i2 _) = i1 `compare` i2
67 compare (HsIntegral _ _) (HsFractional _ _) = LT
68 compare (HsFractional f1 _) (HsFractional f2 _) = f1 `compare` f2
69 compare (HsFractional f1 _) (HsIntegral _ _) = GT
73 instance Outputable HsLit where
74 -- Use "show" because it puts in appropriate escapes
75 ppr (HsChar c) = pprHsChar c
76 ppr (HsCharPrim c) = pprHsChar c <> char '#'
77 ppr (HsString s) = pprHsString s
78 ppr (HsStringPrim s) = pprHsString s <> char '#'
79 ppr (HsInt i) = integer i
80 ppr (HsInteger i) = integer i
81 ppr (HsRat f _) = rational f
82 ppr (HsFloatPrim f) = rational f <> char '#'
83 ppr (HsDoublePrim d) = rational d <> text "##"
84 ppr (HsIntPrim i) = integer i <> char '#'
86 instance Outputable HsOverLit where
87 ppr (HsIntegral i _) = integer i
88 ppr (HsFractional f _) = rational f