Re: Bug in Double.java

[Tom Tromey]

>>>>> "John" == John Leuner <address@hidden> writes:

John> Mauve will turn doubles/floats to strings before comparing them,
John> and then compare them to the string that is produced by
John> compliant JVMs/class libraries.

True.
However, you can circumvent this by wrapping a `double' in a `Double'
and then using check() in Mauve.  This will cause Mauve to use
`Double.equals()' to do the comparison.

Tom