OCAML 从 stdin 中获取多个参数并逐个操作

Question

>我已经使用 ocamllex 和 ocamlyacc 编写了一个解释器，词法分析和解析器工作正常，但目前它们只解析它收到的最后一个.txt参数，依次反对所有这些参数。例如，./interpret one.txt two.txt three.txt只解析three.txt，而不是解析one.txt然后two.txt，然后three.txt这就是我想要的。例如，解析结果如下：

one.txt -> "1"
two.txt -> "2"
three.txt -> "3"

调用./interpret one.txt two.txt three.txt时，当前输出为：3，但我希望它是123

这是我的主要课程，涉及stdin和stdout

open Lexer
open Parser
open Arg
open Printf
let toParse c = 
    try let lexbuf = Lexing.from_channel c in  
            parser_main lexer_main lexbuf 
    with Parsing.Parse_error -> failwith "Parse failure!" ;;

let argument = ref stdin in                                         
let prog p = argument := open_in p in
let usage = "./interpreter FILE" in
parse [] prog usage ; 
let parsed = toParse !argument in
let result = eval parsed in
let _ = parsed in
flush stdout;

感谢您抽出宝贵时间

Answer 1

这里没有足够的

代码来提供帮助。

如果我假设输出是由eval写入的，那么我只看到一个对eval的调用。但是这里没有从命令行处理文件名的内容，所以很难说更多。

如果您打算从文件中读取输入，那么据我所知，没有理由将stdin用于任何事情。

(我知道这是一个非常小的问题，但这段代码不构成一个类。其他语言对所有内容都使用类，但这是一个模块。

更新

这是一个类似于Unix cat命令的模块;它一个接一个地从命令行写出所有文件的内容。

let cat () =
    for i = 1 to Array.length Sys.argv - 1 do
        let ic = open_in Sys.argv.(i) in
        let rec loop () =
            match input_line ic with
            | line -> output_string stdout (line ^ "n"); loop ()
            | exception End_of_file -> ()
        in
        loop ();
        close_in ic
    done
let () = cat ()

下面是编译和运行时的外观。

$ ocamlc -o mycat mycat.ml
$ echo test line 1 > file1
$ echo test line 2 > file2
$ ./mycat file1 file2
test line 1
test line 2