Strict arguments with foreign import
ozone at algorithm.com.au
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 : trust.in.love.to.save <http://www.algorithm.com.au/>
More information about the FFI