Fix a few user-visible leftover uses of “Float”
commite6e5472b38d0a679a886db57bbe0328339f95f31
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateSun 17 May 2015, 12:53 (11 years ago)
parent4ad2949
src/Idris/Core/TT.hs+1−1
@@ -1388,7 +1388,7 @@ instance Show Const where
13881388 show (B16 x) = show x
13891389 show (B32 x) = show x
13901390 show (B64 x) = show x
1391− show (AType ATFloat) = "Float"
1391+ show (AType ATFloat) = "Double"
13921392 show (AType (ATInt ITBig)) = "Integer"
13931393 show (AType (ATInt ITNative)) = "Int"
13941394 show (AType (ATInt ITChar)) = "Char"
src/Idris/IdeMode.hs+1−1
@@ -107,7 +107,7 @@ maybeProps ((n, Nothing):ps) = maybeProps ps
107107constTy :: Const -> String
108108constTy (I _) = "Int"
109109constTy (BI _) = "Integer"
110−constTy (Fl _) = "Float"
110+constTy (Fl _) = "Double"
111111constTy (Ch _) = "Char"
112112constTy (Str _) = "String"
113113constTy (B8 _) = "Bits8"
src/Idris/ParseExpr.hs+1−7
@@ -1200,18 +1200,12 @@ Constant ::=
12001200 'Integer'
12011201 | 'Int'
12021202 | 'Char'
1203− | 'Float'
1203+ | 'Double'
12041204 | 'String'
1205− | 'Ptr'
1206− | 'ManagedPtr'
12071205 | 'Bits8'
12081206 | 'Bits16'
12091207 | 'Bits32'
12101208 | 'Bits64'
1211− | 'Bits8x16'
1212− | 'Bits16x8'
1213− | 'Bits32x4'
1214− | 'Bits64x2'
12151209 | Float_t
12161210 | Natural_t
12171211 | VerbatimString_t