regression/real-algsimp.sml

   1 val one = valOf (Real.fromString "1.0")
   2 val zero = valOf (Real.fromString "0.0")
   3 val posInf = one / zero
   4 val negInf = ~one / zero
   5
   6 val nan1 = posInf + negInf
   7
   8 fun cmp f = print ((Bool.toString (f (nan1, nan1))) ^ "\n")
   9
  10 local
  11    open Real
  12 in
  13    val _ = cmp (op <)
  14    val _ = cmp (op <=)
  15    val _ = cmp (op >)
  16    val _ = cmp (op >=)
  17    val _ = cmp (op ==)
  18    val _ = cmp (op !=)
  19    val _ = cmp (op ?=)
  20 end
  21
  22
  23 val nan2 = valOf (Real.fromString "nan")
  24
  25 fun cmp f = print ((Bool.toString (f (nan1, nan2))) ^ "\n")
  26
  27 local
  28    open Real
  29 in
  30    val _ = cmp (op <)
  31    val _ = cmp (op <=)
  32    val _ = cmp (op >)
  33    val _ = cmp (op >=)
  34    val _ = cmp (op ==)
  35    val _ = cmp (op !=)
  36    val _ = cmp (op ?=)
  37 end