[m-dev.] feature freeze

[Ralph Becket]

I would like to get this (X < Y) ---> (compare(R, X, Y), R = (<))
simplification into the next release.

(I've been distracted by the book, but today will endeavour to find out
why this particular simplification isn't being triggered.)

- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------