test/ffi008 was failing on x86
commit42face9a6dc163f392fbd40515603ca9f933ce33
authorJorge Acereda <jacereda@gmail.com>
dateSat 31 Mar 2018, 00:30 (9 years ago)
parente393bf0
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 = 8
73+ alignOfCT I64 = min prim__sizeofPtr 8
7474 alignOfCT FLOAT = 4
75− alignOfCT DOUBLE = 8
75+ alignOfCT DOUBLE = min prim__sizeofPtr 8
7676 alignOfCT PTR = prim__sizeofPtr
7777
7878 ||| Alignment requirement of the type