[m-dev.] diff: float.m changes

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> Hi,
> 
> Tom, can you please review this one?
> (Since I moved a fair bit of stuff around, the diff may be a bit hard to
> follow, and so I've included the float.m at the end as well.)
> 
> library/float.m:
> 	- Add a function `:- func float(int) = float.' for converting
> 	  from int to float.
> 	- Add function versions of all the predicates.
> 	- Reorder the declarations so that the functions and predicates
> 	  defined are grouped according to their purpose.
> 	- Add `pragma obsolete' declarations for all the
> 	  `builtin_float_*' predicates (XXX commented out for now,
> 	  until my recently committed change to simplify.m to avoid
> 	  spurious warnings has been installed on all our machines)
> 	  and move the declarations of those predicates so that they
> 	  don't appear in the Mercury Library Reference Manual.
> 	- Update the old `pragma(c_code, ...)' declarations to use
> 	  the next syntax for `pragma c_code'.
> 
> library/mercury_builtin.m:
> 	Use `<' and `>' rather than the obsolete predicates
> 	`builtin_float_lt' and `builtin_float_gt'.

This looks fine.

-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.