git.iko.soy/Idris-dev
on master help sign in
Rename Float to Double in Parser
89e325cEdwin Brady
libs/prelude/Builtins.idr+5
compare with master
unifiedsplit
@@ -149,3 +149,8 @@ believe_me x = prim__believe_me _ _ x
149public %assert_total
149public %assert_total
150really_believe_me : a -> b
150really_believe_me : a -> b
151really_believe_me x = prim__believe_me _ _ x
151really_believe_me x = prim__believe_me _ _ x
152+
153+-- Deprecated - for backward compatibility
154+Float : Type
155+Float = Double
156+
libs/prelude/Prelude/Cast.idr+2
@@ -1,5 +1,7 @@
1module Prelude.Cast
1module Prelude.Cast
2
2
3+import public Builtins
4+
3||| Type class for transforming a instance of a data type to another type.
5||| Type class for transforming a instance of a data type to another type.
4class Cast from to where
6class Cast from to where
5 ||| Perform a cast operation.
7 ||| Perform a cast operation.
src/Idris/ParseExpr.hs+1−1
@@ -1156,7 +1156,7 @@ constants =
1156 [ ("Integer", AType (ATInt ITBig))
1156 [ ("Integer", AType (ATInt ITBig))
1157 , ("Int", AType (ATInt ITNative))
1157 , ("Int", AType (ATInt ITNative))
1158 , ("Char", AType (ATInt ITChar))
1158 , ("Char", AType (ATInt ITChar))
1159− , ("Float", AType ATFloat)
1159+ , ("Double", AType ATFloat)
1160 , ("String", StrType)
1160 , ("String", StrType)
1161 , ("Ptr", PtrType)
1161 , ("Ptr", PtrType)
1162 , ("ManagedPtr", ManagedPtrType)
1162 , ("ManagedPtr", ManagedPtrType)