[m-rev.] EDCG implementation

[Ralph Becket]

Peter, it isn't immediately clear to me how far EDCG inference goes.
What I hope it doesn't do is thread EDCG parameters through predicates
that do not have appropriate edcg annotations in their declarations.

Cheers,

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