[m-rev.] For review: (no attachments) Extensions to constraints based mode analysis.

[Ralph Becket]

Hi Richard,

I'm reviewing your diff, but I just wanted to find out now how things
are going for plumbing the results of the CBMA into the current mode
analysis stage, rather than just discarding the work done?

Cheers,
-- Ralph

Richard Fothergill, Friday, 27 January 2006:
> 
> Extend constraints based mode analysis.
> Constraints on the producing and consuming goals for program
> variables are now solved, and the solutions used for
> conjunction reordering. The resulting HLDS is then thrown away,
> after maybe being dumped (stage 33).
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------