1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
val filename = OS.FileSys.tmpName ()
fun testRange (start, length) =
let
val allChars = Word8Vector.tabulate(length, fn i => Word8.fromInt ((i + start) mod 256))
val outStr = BinIO.openOut filename
val _ = BinIO.output (outStr, allChars)
val _ = BinIO.closeOut outStr
val inStr = BinIO.openIn filename
val readChars = BinIO.inputAll inStr
val _ = BinIO.closeIn inStr
val _ = OS.FileSys.remove filename
fun testCharF (c, cnt) =
let
val readC = Word8Vector.sub(readChars, cnt)
val _ = if c = readC then
()
else
print ("Error at index: " ^ (Int.toString cnt) ^ ": " ^
(Word8.toString c) ^ " <> " ^ (Word8.toString readC) ^ "\n")
in
cnt + 1
end
val _ = Word8Vector.foldl testCharF 0 allChars
in
()
end
val _ = testRange (0, 256)
val _ = print "basic test of writing and reading back all characters done\n"
val _ = List.tabulate(256, fn i => List.tabulate(257, fn i2 => testRange (i, i2)))
val _ = print "test of writing files of all possible characters in strings of lengths 0-256 finished\n"
val _ = List.tabulate(6, fn i => List.tabulate(5000, fn i2 => testRange (i, i2)))
val _ = print "test finished\n"
|
