HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
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 |