on master help sign in
Fix alignment on 32 bits

Qwords and doubles are 8 byte aligned and not 4.

commited171dbde70afef5b80c15bccec8e362eb4bc15b authorNiklas Larsson <niklas@mm.st> dateTue 19 Apr 2016, 00:44 (11 years ago) parent7e7d0eb
1 file changed+2−2
libs/contrib/CFFI/Types.idr+2−2
libs/contrib/CFFI/Types.idr+2−2
@@ -70,9 +70,9 @@ mutual
7070 alignOfCT I8 = 1
7171 alignOfCT I16 = 2
7272 alignOfCT I32 = 4
73− alignOfCT I64 = prim__sizeofPtr
73+ alignOfCT I64 = 8
7474 alignOfCT FLOAT = 4
75− alignOfCT DOUBLE = prim__sizeofPtr
75+ alignOfCT DOUBLE = 8
7676 alignOfCT PTR = prim__sizeofPtr
7777
7878 ||| Alignment requirement of the type