ocaml - OCaml Interpreter: インタープリターがファイル内の 1 行しか実行しない理由

Question

パーサーとレクサーをコンパイルするために、ocamlyacc と ocamllex を使用してインタープリターを作成しています。

私の問題は、ファイル calles テストがあり、lexer で定義されている 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