Re: Ptr and ForeignPtr Questions

21 Sep 2001


      Ashley Yakeley  wrote,
...
At 2001-09-20 19:32, Manuel M. T. Chakravarty wrote:
...
What I meant with the remark that you quote is that if you
would use
foreign import foo :: Ptr Int -> IO Float
with
float foo (float *x)
 {
   return *x;
 }
the system will not complain, but your program may dump
core.
What if the C looked like this:
float foo (int *x)
  {
    return *x;
  }
...?
That's ok.  All I am saying is that the FFI doesn't ensure
any concistency between the Haskell and the C type.

Manuel