git.iko.soy/Idris-dev
on master help sign in
FTy convenience names for fixed-width ints
commitd9e7912d9fad272900ed0444a786abde6445fa89 authorBenjamin Saunders <besaunde@sfu.ca> dateSun 14 Jul 2013, 15:47 (13 years ago) parent7de42c8
2 files changed+16
compare with master
unifiedsplit
lib/IO.idr+12 src/IRTS/Compiler.hs+4
lib/IO.idr+12
@@ -45,6 +45,18 @@ FShort = FIntT IT16
4545FLong : FTy
4646FLong = FIntT IT64
4747
48+FBits8 : FTy
49+FBits8 = FIntT IT8
50+
51+FBits16 : FTy
52+FBits16 = FIntT IT16
53+
54+FBits32 : FTy
55+FBits32 = FIntT IT32
56+
57+FBits64 : FTy
58+FBits64 = FIntT IT64
59+
4860FBits8x16 : FTy
4961FBits8x16 = FIntT IT8x16
5062
src/IRTS/Compiler.hs+4
@@ -305,6 +305,10 @@ mkIty "FChar" = mkIntIty "ITChar"
305305mkIty "FByte" = mkIntIty "IT8"
306306mkIty "FShort" = mkIntIty "IT16"
307307mkIty "FLong" = mkIntIty "IT64"
308+mkIty "FBits8" = mkIntIty "IT8"
309+mkIty "FBits16" = mkIntIty "IT16"
310+mkIty "FBits32" = mkIntIty "IT32"
311+mkIty "FBits64" = mkIntIty "IT64"
308312mkIty "FString" = FString
309313mkIty "FPtr" = FPtr
310314mkIty "FUnit" = FUnit