[m-dev.] foreign type syntax

[Fergus Henderson]

On 25-Oct-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 25-Oct-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > We propose adding a foreign_type pragma, which allows you to define a
> > Mercury type as being equivalent to a foreign language type. 
> 
> What happens if the foreign language type doesn't fit in a single word?
> Will the Mercury compiler automatically box/unbox it, like it does for `float'?

I didn't see any answer to this question.

I guess this means that you have no idea what the answer should be ;-)

It would help to know what the intended semantics are when deciding
on the syntax...

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  | "... it seems to me that 15 years of
The University of Melbourne         | email is plenty for one lifetime."
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- Prof. Donald E. Knuth
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------