git.iko.soy/Idris-dev
on master help sign in
FTy convenience names for fixed-width ints
d9e7912Benjamin Saunders
lib/IO.idr+12
compare with master
unifiedsplit
@@ -45,6 +45,18 @@ FShort = FIntT IT16
45FLong : FTy
45FLong : FTy
46FLong = FIntT IT64
46FLong = FIntT IT64
47
47
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+
48FBits8x16 : FTy
60FBits8x16 : FTy
49FBits8x16 = FIntT IT8x16
61FBits8x16 = FIntT IT8x16
50
62
src/IRTS/Compiler.hs+4
@@ -305,6 +305,10 @@ mkIty "FChar" = mkIntIty "ITChar"
305mkIty "FByte" = mkIntIty "IT8"
305mkIty "FByte" = mkIntIty "IT8"
306mkIty "FShort" = mkIntIty "IT16"
306mkIty "FShort" = mkIntIty "IT16"
307mkIty "FLong" = mkIntIty "IT64"
307mkIty "FLong" = mkIntIty "IT64"
308+mkIty "FBits8" = mkIntIty "IT8"
309+mkIty "FBits16" = mkIntIty "IT16"
310+mkIty "FBits32" = mkIntIty "IT32"
311+mkIty "FBits64" = mkIntIty "IT64"
308mkIty "FString" = FString
312mkIty "FString" = FString
309mkIty "FPtr" = FPtr
313mkIty "FPtr" = FPtr
310mkIty "FUnit" = FUnit
314mkIty "FUnit" = FUnit