[m-rev.] for review: string library comment (revised)

[Fergus Henderson]

On 12-Dec-2003, James Goddard <goddardjames at yahoo.com> wrote:
> +			// At this point it *should* in theory be safe just to
> +			// set succeeded = false, since the Java API claims
> +			// that Double.parseDouble() will handle all the cases
> +			// we require.  However, it turns out that in practice
> +			// (tested with java version ""1.3.1_04"")

That should be "Sun's Java 2 SDK, Standard Edition, version 1.3.1_04".
(This information can be obtained via "rpm -qif `type -path java`",
or by `java -version'.)

Otherwise that's good, thanks.

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