Alastair Reid writes:
I strongly agree that we should definitely add the ability to
declare types
whose definition is provided externally. (i.e., provide the
feature that empty datatype decls currently provide.)
Before adding them, we need to agree on the semantics and
syntax (in
On Monday 02 June 2003 2:32 pm, Simon Marlow wrote:
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.
Whether you can acquire values of this type or not, we need
to give it a semantics.
We know
We routinely use code like this:
data Point
foreign import getMousePos :: Ptr Point - IO ()
foreign import getX :: Ptr Point - IO Int
foreign import getY :: Ptr Point - IO Int
The idea being that:
1) there is a foreign type (which might be called Point,
MousePos, point_t,
