发布于 2019-09-11 06:23:01
您可以在REPL中键入open TextIO;。这将将模块的内容导入当前范围,但在REPL中,它也会产生打印它导入的内容的副作用。您可能对像这样更新的范围不感兴趣,所以如果您打算再次使用REPL,那么重新启动REPL可能是明智的。
$ poly
Poly/ML 5.7.1 Release
> open TextIO;
structure StreamIO: TEXT_STREAM_IO
val canInput = fn: instream * int -> int option
val closeIn = fn: instream -> unit
val closeOut = fn: outstream -> unit
...https://stackoverflow.com/questions/57869688
复制相似问题