Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | val _ = |
2 | List.app | |
3 | (fn i => print (concat [Int.toString (IntInf.log2 i), "\n"])) | |
4 | [1, | |
5 | 2, | |
6 | 3, | |
7 | 0x10000000, | |
8 | 0x20000000, | |
9 | 0x40000000, | |
10 | 0x80000000, | |
11 | 0x100000000, | |
12 | 0x1FFFFFFFF, | |
13 | 0x200000000, | |
14 | 0x200000001] | |
15 | ||
16 | val _ = | |
17 | List.app | |
18 | (fn i => | |
19 | if i = IntInf.log2 (IntInf.pow (2, i)) | |
20 | andalso i = IntInf.log2 (IntInf.pow (2, i) + 1) | |
21 | andalso i - 1 = IntInf.log2 (IntInf.pow (2, i) - 1) | |
22 | then () | |
23 | else raise Fail "bug") | |
24 | (List.tabulate (100, fn i => i + 1)) | |
25 | ||
26 | val _ = print "OK\n" | |
27 | ||
28 | ||
29 | ||
30 |