ANN: H98 FFI Addendum 1.0, Release Candidate 10

Simon Marlow simonmar at microsoft.com
Mon Jun 2 09:32:05 EDT 2003


 
> > I'm not following this. what exactly is derefPtr?  The only 
> analogous
> > function I can think of is Foreign.peek:
> 
> Sorry, I meant peek.
> 
> > but peek will unmarshal the value at the end of the Ptr into T, so T
> > cannot be abstract.
> 
> Sorry, I was just trying to show how to create a value of type
> T which might be bottom.  It would have been easier to use:
> 
>       t :: T
>       t = undefined

Ok.  But I still don't understand why the whole discussion isn't moot.
I can't see how to acquire a value of type T that isn't bottom.  Could
you give an example?

Cheers,
	Simon




More information about the FFI mailing list