2 Jun
2003
2 Jun
'03
10:05 p.m.
On 02-Jun-2003, Simon Marlow <simonmar@microsoft.com> wrote:
On 02-Jun-2003, Simon Marlow <simonmar@microsoft.com> 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 <fjh@cs.mu.oz.au> | "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.