- 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
-
-