ocaml - 如何创建一个结合 Parser 和 Lexer 的程序

Question

我想使用 Ocamllex/Ocamlyacc 构建一个编译器，并且我想创建一个主程序来结合我的 OcamlParser 和 OcamlLexer。问题是我知道如何使用命令行中的输入来做到这一点，如下面的代码：

let _ =
  try
    let lexbuf = Lexing.from_channel stdin in
    while true do
      let result = Parser.main Lexer.token lexbuf in
      print_int result; print_newline(); flush stdout
    done
  with Lexer.Eof ->
    exit 0

但是，如果我想使用文件作为输入，我该怎么办？我试过这样的事情：

let file ="add.txt"
    let _ =
     let ic = open_in file in 
      try
        let lexbuf = Lexing.from_channel file in
        while true do
          let result = Parser.main Lexer.token lexbuf in
          print_int result; print_newline(); flush stdout
        done
      with Lexer.Eof ->
        exit 0

但它并没有真正起作用。

Answer 1

以下代码适用于我。在您的版本中，您有一些语法错误。

let _ =
      let file ="add.txt" in
      let i = open_in file in 
      try
        let lexbuf = Lexing.from_channel i in
        while true do
          let result = Parser.main Lexer.token lexbuf in
          print_int result; print_newline(); flush stdout
        done
      with Lexer.Eof ->
        exit 0

放入“ add.txt 1+2”给了我3。