Real.fromManExp does not return expected value if man = 0.0 #249
Assignees
Labels
basis-lib
problem with Standard ML Basis library
bug
Something isn't working
fixed-in-2022.1
issue is fixed in the 2022.1 release
floating-point
problem related to floating-point operations
gforge
bug (or feature request) ported from smlnj-gforge repository
Comments
JohnReppy
added
basis-lib
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Version
110.99
Operating System
OS Version
No response
Processor
Any
Component
Basis Library
Severity
Minor
Description of the problem
For any integer
expthe expressionReal.fromManExp {man = 0.0, exp = exp}
does not return the expected value. The Basis Library states "If man is +-0, the result is +-0."
https://smlfamily.github.io/Basis/real.html#SIG:REAL.fromManExp:VAL
With 110.85, the expression raises the exception Overflow.
With 110.99, evaluation of the expression does not terminate.
Transcript
No response
Expected Behavior
No response
Steps to Reproduce
Evaluate the expression
Real.fromManExp {man = 0.0, exp = 0};
with versions 110.99 and 110.85.
Additional Information
No response
Email address
phil.clayton@veonix.com
Comments from smlnj-gforge
Original smlnj-gforge bug number 316
Submitted via web form by Phil Clayton phil.clayton@veonix.com on 2022-02-05 at 13:0200
Keywords: reals
comment by @JohnReppy on 2022-12-05 15:1200 +000 UTC
Fixed for 110.99.3 and 2022.1
The text was updated successfully, but these errors were encountered: