Merge pull request #3121 from melted/align_32bit
Fix alignment on 32 bits
commitcf0b54e268681115aca1389ff18e73196193ff37
authorNiklas Larsson <metaniklas@gmail.com>
dateTue 19 Apr 2016, 22:37 (11 years ago)
parent7e7d0ebed171db
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