ANN: H98 FFI Addendum 1.0, Release Candidate 10

[Fergus Henderson]

On 02-Jun-2003, Simon Marlow <simonmar at microsoft.com> wrote:
>  
> > On 02-Jun-2003, Simon Marlow <simonmar at 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 at 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.