[m-rev.] for review: mercury implementation of string__format

[Peter Ross]

> > tests/general/string_format_f.exp2:
> > We will only get the 15 most significant digits when printing
> > float__max using mercury, this means the output is different
> > to using sprintf which prints all the digits.
>
> There should be some tests that writing out floats with 17 digits
> precision and reading them back in again results in the same values.
>
I am working on a change to do that.  Do you have an example of a float
which requires 17 digits of precision.  We also need one that requires 9
digits of precision for the case where we are using single
precision floats.


---
Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.419 / Virus Database: 235 - Release Date: 11/13/2002

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------