regression/real-decimal.1.sml

   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 ];