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