File: real-decimal.1.sml

package info (click to toggle)
mlton 20130715-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 60,900 kB
  • ctags: 69,386
  • sloc: xml: 34,418; ansic: 17,399; lisp: 2,879; makefile: 1,605; sh: 1,254; pascal: 256; python: 143; asm: 97
file content (21 lines) | stat: -rw-r--r-- 510 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
(*
 * The Basis Library description for fromDecimal in signature REAL states:
 *
 *   ... If class is NAN, a signed NaN is generated.
 *
 * However, it appears that the generated NaN always has the sign bit cleared.
 *)

open Real;

val minusIEEENan = {class = IEEEReal.NAN, sign = true, digits = [], exp = 0};

app print [
  "minusIEEENan = ", IEEEReal.toString minusIEEENan, "\n",

  "signBit (valOf (fromDecimal minusIEEENan)) = ",
  Bool.toString
  (signBit (valOf (fromDecimal minusIEEENan))),
  "\n"

];