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

David Overton dmo at cs.mu.OZ.AU
Wed Feb 26 21:56:07 AEDT 2003


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 haven't reviewed the changes to bryant.[ch] yet.


David
-- 
David Overton                  Uni of Melbourne     +61 3 8344 1354
dmo at cs.mu.oz.au                Monash Uni (Clayton) +61 3 9905 5779
http://www.cs.mu.oz.au/~dmo    Mobile Phone         +61 4 0337 4393
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list