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

[Fergus Henderson]

On 26-Jan-2000, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> extras/clpr/cfloat.m:
> 	Fix an archaic way of implementing the cfloat type, which was causing
> 	problems by relying on obsolete parts of the RTTI system.
...
> +:- type cfloat ---> cfloat(int)
> +	where equality is cfloat__unify.
...
> +:- pred cfloat__unify(cfloat, cfloat).
> +:- mode cfloat__unify(in, in) is semidet.

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.

Apart from that, this change looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------