2 Jun
2003
2 Jun
'03
8:47 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 -- Alastair