Type promotion in ccall arguments

Simon Peyton-Jones simonpj at microsoft.com
Thu Mar 14 12:45:30 EST 2002

| > I'd say it has all the information you need - you were 
| using it wrong.
| That's fine - but I think the FFI specification should state 
| somewhere that the signature for a foreign import ccall 
| should correspond to the type of the C call *after the C 
| promotion rules have been applied*.

Strongly agree.  With at least one example for the benefit of
dense people likel mw.


More information about the FFI mailing list