Strict arguments with foreign import

Andre Pang ozone at
Wed Mar 16 06:54:06 EST 2005

On 16/03/2005, at 8:27 PM, Marcin 'Qrczak' Kowalczyk wrote:

>> I'm just wondering -- for "primitive" C types (int, float, char, etc),
>> why was the decision made in the FFI to have function declarations
>> look like e.g.
>>   foreign import ccall "math.h sin" sin :: CDouble -> CDouble
>> rather than
>>   foreign import ccall "math.h sin" sin :: !CDouble -> !CDouble
> Haskell doesn't reflect strictness of functions in their types,
> no matter whether foreign or not.

*sigh*  Silly me, that's a rather good point.  I guess I was off in 
Clean-land for a few minutes ... thanks Marcin.

% Andre Pang :  <>

More information about the FFI mailing list