Question

我正在编写一个解释器，使用ocamlyacc和ocamllex来编译我的解析器和词法分析器。

我的问题是，我有一个文件calles测试，包含2个在词法分析器中定义的命令：

print a
print b

但解释器只执行行print a！我知道问题在于解析器的主要问题，需要被递归。我把它固定为这样（下面的代码），但它仍然不起作用。

%{  
    open Path
%}

%token <int> INT
%token <string> STRING
%token EOL
%token EOF
%token GET_LINE
%token PRINT

%start main
%type <Path.term> main
%%

main:
    | expr EOL  {$1}
    | expr EOF  {$1}
;


str:
    | STRING { $1 }
    ;
intger:
    | INT {$1 }
    ;
expr:

    | PRINT str  { Print $2 }
    | PRINT str expr  { Print $2 }
    | GET_LINE INT str  { Print_line_in_file ($2, $3) } 
    | GET_LINE INT str expr  { Print_line_in_file ($2, $3) }        
    ;

修改

这是我的词法分析器，我尽可能地简化它以发现错误。

(* File lexer.mll *)

{
    open Parser
}

rule main = parse
    | [' ''\t''\n']     { main lexbuf }
    | "print_line_in_file" { GET_LINE }
    | "print" { PRINT}
    | ['1' - '9']+ as lxm { INT(int_of_string lxm) }
    | ['a'-'z''A'-'Z'] ['a'-'z''A'-'Z''0'-'9']* as lxm { STRING lxm  }
    | eof  {EOF}

Main.ml

open Path

let _ =
    try
    let filename = Sys.argv.(1) 
    in
        let lexbuf = Lexing.from_channel (open_in filename)
        in 
            let result = Parser.main Lexer.main lexbuf
            in
                command result;
                flush stdout
    with Parsing.Parse_error -> print_string "Error! Check syntax";
    flush stdout

Answer 1

每次调用解析器时，它只会解析一个表达式（这是您的起始规则的类型）;并且它将在行尾停止（假设您在语法中使用EOL）。如果要解析多个表达式，则需要在循环中多次调用它。

Answer 2

要扩展gasche的答案，您需要更改解析器定义，如下所示：

%type <Path.term list> main
%%

main:
    | expr EOL main {$1::$3}
    | expr EOF      {[$1]}
    | EOF           {[]}  /* if you want to allow a redundant EOL at the end */
;

使用原始定义，单行被视为main的完整解析，这就是您的解析器在此之后停止的原因。

OCaml Interpreter：为什么我的解释器只在我的文件中执行一行

2 个答案: