【发布时间】:2020-01-12 03:30:17
【问题描述】:
【问题讨论】:
【问题讨论】:
您可以在 REPL 中键入 open TextIO;。这会将模块的内容导入您当前的作用域,但在 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
...
【讨论】: