[m-dev.] for review: cfloat.m

[Zoltan Somogyi]

> Rather than adding `cfloat__unify', you could just say
> `... where equality is cfloat__eq'.  There doesn't seem
> to be much benefit in adding another name for the same
> operation.

That would require adding an (in,in) mode to cfloat__eq, which it doesn't
have such a mode at the moment. I thought that may cause compatibility
problems. Was I wrong?

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