Type promotion in ccall arguments

[Simon Peyton-Jones]

| > 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.

Simon