@@ -6,7 +6,7 @@ import SourceSyntax.PrettyPrint
6import qualified Text.PrettyPrint as PP
6import qualified Text.PrettyPrint as PP
8data Literal = IntNum Int
8data Literal = IntNum Int
9− | FloatNum Float
9+ | FloatNum Double
10 | Chr Char
10 | Chr Char
11 | Str String
11 | Str String
12 | Boolean Bool
12 | Boolean Bool
@@ -16,7 +16,7 @@ instance Pretty Literal where
16 pretty literal =
16 pretty literal =
17 case literal of
17 case literal of
18 IntNum n -> PP.int n
18 IntNum n -> PP.int n
19− FloatNum n -> PP.float n
19+ FloatNum n -> PP.double n
20 Chr c -> PP.quotes (PP.char c)
20 Chr c -> PP.quotes (PP.char c)
21 Str s -> PP.text (show s)
21 Str s -> PP.text (show s)
22 Boolean bool -> PP.text (show bool)
22 Boolean bool -> PP.text (show bool)