[m-rev.] for review: Java implementation of string library

[Peter Ross]

On Thu, Dec 11, 2003 at 06:06:23PM +1100, James Goddard wrote:
> +:- pragma foreign_proc("Java",
> +	string__lowlevel_float_to_string(FloatVal::in, FloatString::uo),
> +	[will_not_call_mercury, promise_pure, thread_safe],
> +"
> +	FloatString = java.lang.Double.toString(FloatVal);
> +").
> +

One thing to be aware of here is that the string generated by this
predicate must be round-trippable, i.e. when converting the string back
to a float one gets exactly the same floating point number.

Have you checked this?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------