如何将 stdin 管道与 fsharpi (fsi) 和 mono 一起使用

Question

我使用 fsharpi (fsi) 作为后台编译进程，使用 System.Diagnostics.Process 来生成进程。我的 ProcessStartInfo 设置如下所示：

let psi = new ProcessStartInfo()
psi.UseShellExecute <- false
if System.Environment.OSVersion.Platform = PlatformID.Unix
    then
        psi.FileName <- "/usr/bin/mono"
        psi.Arguments <- "/usr/lib/fsharp/fsi.exe"
    else
        psi.FileName <- @"C:\Program Files (x86)\Microsoft F#\v4.0\fsi.exe"
        psi.Arguments <- ""
psi.WorkingDirectory <- "some workdir"
psi.CreateNoWindow <- true
psi.RedirectStandardError <- true
psi.RedirectStandardInput <- true
psi.RedirectStandardOutput <- true

我的进程创建如下：

let proc = Process.Start(psi)

之后我使用 stdin 发出我的代码：

proc.StandardInput.WriteLine(myCode+";;"+Environment.NewLine)
proc.StandardInput.Flush()

这适用于带有标准设置的 VisualStudio 的 Windows 7 - 不幸的是，它不适用于 linux（ubuntu 11.04，Mono JIT 编译器版本 2.6.7） (Debian 2.6.7-5ubuntu3)、F#、Microsoft (R) F# 2.0 Interactive build 2.0.0.0) [注：单声道相同2.10 从源代码构建]。 无论如何，StandardOutput 在两个平台上都可以正常工作。

编辑：澄清如何/什么不起作用：收到标准启动输出（F#、Microsoft (R) F#...）后，我通过重定向输入流发送一些代码（假设让 foo x = x * 2）。使用重定向输出（使用 proc.StandardOut.ReadLine() 同步接收答案（在另一个线程中），但 ReadLine 永远不会返回！

我怀疑这是 fsharpi 正在运行的（额外进程）mono 的问题或平台问题（ 为了排除第二种可能性，

我尝试了手动管道，其中内容为：

"#quit;;[NEWLINE]"

[NEWLINE 代表 Unix endlines 和 windows 样式 EOL]

使用以下命令（windows）：

fsi.exe < thefileDescribedAbove

或 分别。 (linux)

fsharpi < thefileDescribedAbove

就像预期的那样，它在 Windows 上工作（打开 FSI 并立即退出），但在 Linux 上停止（如 ;; 或未收到 NEWLINE）。 鉴于此测试中的奇怪结果，我怀疑我的方法存在更根本的问题（希望不是）。

多谢

Answer 1

经过长时间无意义的 bughunt： fsi 的“--readline-”参数解决了问题！感谢所有的跟踪:-)

（实际上我很久以前就尝试过这个 - 显然我当时的测试搞砸了）