On 02-Jun-2003, Simon Marlow <[EMAIL PROTECTED]> wrote: > > > On 02-Jun-2003, Simon Marlow <[EMAIL PROTECTED]> wrote: > > > > > > I can't see how to acquire a value of type T that isn't bottom. > > > > By calling a function defined using the FFI, of course. > > But the FFI lists the types that may be returned by a foreign function, > and T is not one of them.
Ah, I see. > Are you suggesting we ought to be able to define new primitive types? I think it is at least worth considering. See my other message about how Mercury deals with this issue. -- Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit The University of Melbourne | of excellence is a lethal habit" WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp. _______________________________________________ FFI mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/ffi
