Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* This program tests the implementation of arrays whose length is important but |
2 | * whose elements aren't. | |
3 | *) | |
4 | open Array | |
5 | val a = array (2, #"a") | |
6 | val _ = update (a, 0, #"b") | |
7 | val n = if sub (a, 0) = #"b" | |
8 | then 2 | |
9 | else 1 | |
10 | val _ = | |
11 | if 2 = length (array (n, 13)) | |
12 | then () | |
13 | else raise Fail "bug" |