[mercury-users] string__to_float

[Michael Day]

> That is an error in string__to_float - it should fail if the entire
> string argument is not a well formed float representation.

That would certainly be more intuitive to use :)

Although another predicate that parsed an int or float and returned the 
unconsumed portion of the string would be handy for reading pesky strings 
like "1.2cm" and so forth. (Luckily, I have lex! All hail Ralph :)

Michael

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