1fun tprint s = print (StringCvt.padRight #" " 75 s)
2fun die s = (print (s^"\n"); OS.Process.exit OS.Process.failure)
3
4val _ = tprint "nameStream in subscripting mode starts at 1";
5
6val f = Lexis.nameStrm (SOME "") "foo"
7val l = List.tabulate(10, fn i => f())
8val expected = List.tabulate(10, fn i => "foo" ^ Int.toString (i + 1))
9
10val _ = (l = expected before print "OK\n") orelse die "FAILED"
11