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

[Richard Fothergill]

On 1/31/06, Ralph Becket <rafe at cs.mu.oz.au> wrote:
> 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
>

After passing the CBMA modified HLDS on to the current mode analysis stage,
the only differences I can see in HLDS dumps are that the current mode
analysis stage modifies (ground -> ground) to (builtin.in) etc, and removes
singleton conjuncts (neither of which I'm trying to do with CBMA). That is to
say, it leaves the CBMA ordering of conjuncts untouched. This is all for mode
declared predicates - I've not done mode inference yet.

-Richard

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------