如何在 ATS 中刷新标准输出

How to flush stdout in ATS

我正在尝试通过反复打印和刷新在终端中制作动画。有没有办法在 ATS 中写入后刷新标准输出？

谢谢！

我想你可以做到

val () = fileref_flush(stdout_ref)

如果您需要一直这样做，那么您可能需要使用 'setbuf' 来禁用缓冲。