以下是Andrew Appel的Tiger语言(ocaml)的当前lexer和parser。
我目前正在尝试支持相互递归函数,但以下解析器代码不起作用:
decs :
| l = list(dec) { l }
dec :
| t = nonempty_list(loc(tydec)) { S.TypeDec t }
| v = loc(vardec) { S.VarDec v }
| f = nonempty_list(loc(fundec)) { S.FunDec f }
%inline fundec :
| Function fun_name = symbol LPar params = tyfields RPar
Eq body = loc(exp) {
S.{ fun_name; args = params; return_type = None; body }
}
| Function fun_name = symbol LPar params = tyfields RPar
Colon result_type = symbol Eq body = loc(exp) {
S.{ fun_name; args = params; return_type = Some result_type; body }
}
对于小例子:
let
function f1(x : int) : int =
f2(x)
function f2(x : int) : int =
f1(x)
in
f1 (0)
end
我得到两个带有单例列表的FunDec
个令牌,而不是一个带有两个元素列表的FunDec
令牌。
如何使用menhir解析fundec
列表?
PS:我知道我可以在第二次传递中合并这些列表,但我希望解析器能够在可能的情况下为我做这个
答案 0 :(得分:1)
由于一组函数没有标记,你必须自己声明你的列表,有几个构造函数:
decs :
| hd=nonempty_list(fundec) tl=decs_no_function { (S.Fundecs hd)::tl }
| l=decs_no_function { l }
decs_no_functions :
| hd=dec tl=decs { hd::tl } (* dec same as yours, without functions *)
| { [] }
此处decs_no_functions
对应于"任何不以函数"开头的声明列表。请注意,单个函数声明将位于单个元素列表中。