Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* |
2 | * The Basis Library description for fromDecimal in signature REAL states: | |
3 | * | |
4 | * ... If class is NAN, a signed NaN is generated. | |
5 | * | |
6 | * However, it appears that the generated NaN always has the sign bit cleared. | |
7 | *) | |
8 | ||
9 | open Real; | |
10 | ||
11 | val minusIEEENan = {class = IEEEReal.NAN, sign = true, digits = [], exp = 0}; | |
12 | ||
13 | app print [ | |
14 | "minusIEEENan = ", IEEEReal.toString minusIEEENan, "\n", | |
15 | ||
16 | "signBit (valOf (fromDecimal minusIEEENan)) = ", | |
17 | Bool.toString | |
18 | (signBit (valOf (fromDecimal minusIEEENan))), | |
19 | "\n" | |
20 | ||
21 | ]; |