2 Jun
2003
2 Jun
'03
9:32 p.m.
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