on master help sign in
test/ffi008 was failing on x86
42face9Jorge Acereda
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 = 8
73+ alignOfCT I64 = min prim__sizeofPtr 8
74 alignOfCT FLOAT = 4
74 alignOfCT FLOAT = 4
75− alignOfCT DOUBLE = 8
75+ alignOfCT DOUBLE = min prim__sizeofPtr 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