[m-rev.] diff: exists_casts and --infer-all

[Ralph Becket]

Mark Brown, Monday, 15 August 2005:
> Estimated hours taken: 4
> Branches: main
> 
> The transformation that introduces exists_cast goals occurs at the end of
> polymorphism and operates on proc_infos which have just been copied from
> clauses.  A problem with this is that when inferring modes it is possible
> that proc_infos may be reinitialised by copying the bodies from the clauses
> again.  This results in the exists_cast transformation being overwritten.
> 
> This change solves the problem by redoing the exists_cast transformation
> after clauses are copied into procs during mode inference.

Looks fine.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------