我在写一个解释器,使用ocamlyacc和ocamllex编译我的解析器和词法分析器。OCaml解释器:为什么我的解释器只在我的文件中只执行一行
我的问题是,我有一个文件卡列斯测试,包含在词法分析器中定义的两个命令:
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
我得到的另一个问题是“此表达式具有类型Path.term列表,但表达式期望类型Path.term”。反正有解决这个问题吗?这个错误发生在主...在命令结果行上。是否有任何提示,我可以修复它? –
解析器现在返回一个命令列表,因此您需要执行'List.iter命令结果',或者沿着这些行。 –
谢谢谢谢谢谢谢谢! –