> > 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
_______________________________________________
FFI mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/ffi
