[m-dev.] feature freeze

Ralph Becket rafe at cs.mu.OZ.AU
Wed Oct 2 07:57:10 AEST 2002


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



More information about the developers mailing list