Ptr and ForeignPtr Questions

[Manuel M. T. Chakravarty]

Ashley Yakeley <ashley@semantic.org> 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