我想安排ocamllex和ocamlyacc代码来扫描和解析一个简单的语言。我已经定义了相同的抽象语法,但我发现难以扫描复杂的规则。这是我的代码 {
type exp = B of bool | Const of float | Iszero of exp | Diff of exp*exp |
If of exp * exp * exp
}
rule s
我正在写一个分析许多独立文件的分析器。所有的文件具有相同的结构:它有一个Initiation(),然后是几个过程。例如: Sub Initiation()
...
End Sub
Sub procedure1()
...
End Sub
Sub procedure2()
...
End Sub
...
的Initiation()引发的一切,然后每道工序的分析是独立的。在