[m-rev.] EDCG implementation

Ralph Becket rbeck at microsoft.com
Fri Mar 16 21:23:53 AEDT 2001


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



More information about the reviews mailing list