Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* Written by Stephen Weeks (sweeks@sweeks.com). *) |
2 | ||
3 | structure Main = | |
4 | struct | |
5 | open Vector | |
6 | ||
7 | fun rev v = | |
8 | let | |
9 | val n = length v | |
10 | in | |
11 | tabulate (n, fn i => sub (v, n - 1 - i)) | |
12 | end | |
13 | ||
14 | fun doit n = | |
15 | let | |
16 | val v = tabulate (200000, fn i => i) | |
17 | fun loop n = | |
18 | if n < 0 | |
19 | then () | |
20 | else | |
21 | if 0 = sub (rev (rev v), 0) | |
22 | then loop (n - 1) | |
23 | else raise Fail "bug" | |
24 | in loop (n * 1000) | |
25 | end | |
26 | end |