[m-rev.] diff: move library changes on the mode-constraints branch onto trunk

[Fergus Henderson]

On 26-Feb-2003, David Overton <dmo at cs.mu.OZ.AU> wrote:
> On Wed, Feb 26, 2003 at 07:53:48PM +1100, Zoltan Somogyi wrote:
> > Index: library/robdd.m
> > ===================================================================
> 
> ...
> 
> > +:- type robdd(T) ---> robdd(int).
> 
> ...
> 
> > +
> > +:- pragma foreign_proc("C",
> > +	one = (F::out),
> > +	[will_not_call_mercury, promise_pure],
> > +"
> > +	F = (MR_Word) MR_ROBDD_trueVar();
> > +").
> 
> This and most of the other `:- pragma foreign_proc's assume that robdd/1
> is a no-tag type.  This will not be the case for all grades.
> (Okay, so this is my fault for implementing it like this.  Just thought
> I'd point it out since the same problem has just bitten us (i.e. the HAL
> project) with references.m.)

I think this is OK, since it's only the reserve tag grades that are
the problem, and the plan is to phase out the `.rt' grades, replacing
them instead with explicit use of `pragma reserve_tag' where needed.

-- 
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.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------