- fun prhd(nil) = print("oops... list has no head\n") | prhd(x::_) = print(Int.toString(x:int));

val prhd = fn : int list -> unit

-

- prhd([1,2,3]);

1val it = () : unit

-

-

- fun rdlst (file) = if TextIO.endOfStream(file) then nil else TextIO.inputN(file,1) :: rdlst(file);

[autoloading]

[autoloading done]

val rdlst = fn : TextIO.instream -> TextIO.vector list

-

- rdlst(TextIO.openIn("foo"));

val it = ["1"," ","2"," ","3","\n"] : TextIO.vector list

-

-