FFI and fixed-size integer types

Ross Mellgren rmm-haskell at z.odi.ac
Tue Feb 10 16:25:29 EST 2009

Reading the FFI spec and information about stdint.h, it looks like  
this guarantee holds already -- FFI guarantees that Int<n> and Word<n>  
will be n bits wide and will operate with 2^n arithmetic. It looks  
like C99 correspondingly defines the same kind of thing for int<n>_t  
and uint<n>_t. I guess the only missing piece is there is no  
specification of the byte order, though I would be surprised if they  
were not both in host byte order.


On Feb 10, 2009, at 4:20 PM, Bulat Ziganshin wrote:

> Hello ,
> <citating letter from cafe>
>>>> After reading an ISO draft for standard C, I found
>>>> a few types that could be usefull when binding to
>>>> libraries (these are from <stdint.h>):
>>>> int8_t, uint8_t, int16_t, uint16_t, int32_t,
>>>> uint32_t, int64_t, uint64_t
> i propose to change FFI addendum so that haskell compilers guarantee
> correspondence between Int16 and int16_t types and so on
> -- 
> Best regards,
> Bulat                          mailto:Bulat.Ziganshin at gmail.com
> _______________________________________________
> Haskell-prime mailing list
> Haskell-prime at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime

More information about the Haskell-prime mailing list