on master help sign in
Fix alignment on 32 bits
ed171dbNiklas Larsson
libs/contrib/CFFI/Types.idr+2−2
@@ -70,9 +70,9 @@ mutual
70 alignOfCT I8 = 1
70 alignOfCT I8 = 1
71 alignOfCT I16 = 2
71 alignOfCT I16 = 2
72 alignOfCT I32 = 4
72 alignOfCT I32 = 4
73− alignOfCT I64 = prim__sizeofPtr
73+ alignOfCT I64 = 8
74 alignOfCT FLOAT = 4
74 alignOfCT FLOAT = 4
75− alignOfCT DOUBLE = prim__sizeofPtr
75+ alignOfCT DOUBLE = 8
76 alignOfCT PTR = prim__sizeofPtr
76 alignOfCT PTR = prim__sizeofPtr
77
77
78 ||| Alignment requirement of the type
78 ||| Alignment requirement of the type