Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | val big: IntInf.int = 0x80000000 |
2 | ||
3 | fun try (barg: IntInf.int): unit = | |
4 | let | |
5 | val bstr = IntInf.toString barg | |
6 | val _ = print (concat ["trying ", bstr, "\n"]) | |
7 | in print (if ~ big <= barg | |
8 | then if barg < big | |
9 | then "ok\n" | |
10 | else "positive\n" | |
11 | else "negative\n") | |
12 | end | |
13 | ||
14 | val _ = try 0 | |
15 | val _ = try 1 |