↑と思っていたのだが、よく考えたらパーサの書き方でEOFを待たなくてもいいことに気づいたので、いいことにする。CygwinでCtrl-Cでプロセスを殺すと、Meadowもろとも落ちるので、パーサのデバッグが大変そうだけど。

stdinをそのまま子プロセスのstdinに与えて、子プロセスのstdoutは適当にpipeで読み出せるようにしてあるとする。 親 | 子 stdin ====|===> stdin pipe <===|==== stdout標準入力からCtrl-Dを送ると、子プロセスはEOFを読み込んでいろいろ処理した後、exit(0…

なんとなくThorem Reasoning Systemくらいだと思ってた。こっ恥ずかしい。「Agda TRS」でぐぐって誤りを発見。