对于OCaml，我完全是一个新手。我只是最近开始使用这种语言（大约两周前），但不幸的是，我被要求使用Menhir为一种虚构的语言编写一个语法分析器（解析器+词法分析器，其功能是接受或拒绝一个句子）。现在，我在互联网上找到了一些关于OCaml和Menhir的资料：
Menhir手册。
在Sourceforge上Toss主页上的一个简短的Menhir教程。
derdon在github上的一个Menhir示例。
一本关于OCaml的书（其中有关于ocamllex+ocamlyacc的一些内容）
SooHyoung Oh的一个随机ocamllex教程。
以及Menhir源代码附带的示例。
（我不能放超过两个超链接，所以我不能直接链接您到我提到的一些网站。抱歉！）
所以，你可以看到，我一直在拼命寻找更多的材料来帮助我制作这个程序。不幸的是，我仍然无法掌握许多概念，因此我遇到了很多困难。首先，我不知道如何正确编译我的程序。我一直在使用以下命令：
ocamlbuild -use-menhir -menhir "menhir --external-tokens Tokens" main.native
我的程序分为四个不同的文件：main.ml; lexer.mll; parser.mly; tokens.mly。 main.ml 是从以参数形式给定的文件系统中获取输入的部分。
let filename = Sys.argv.(1)
let () =
let inBuffer = open_in filename in
let lineBuffer = Lexing.from_channel inBuffer in
try
let acceptance = Parser.main Lexer.main lineBuffer in
match acceptance with
| true -> print_string "Accepted!\n"
| false -> print_string "Not accepted!\n"
with
| Lexer.Error msg -> Printf.fprintf stderr "%s%!\n" msg
| Parser.Error -> Printf.fprintf stderr "At offset %d: syntax error.\n%!" (Lexing.lexeme_start lineBuffer)
第二个文件是lexer.mll。
{
open Tokens
exception Error of string
}
rule main = parse
| [' ' '\t']+
{ main lexbuf }
| ['0'-'9']+ as integer
{ INT (int_of_string integer) }
| "True"
{ BOOL true }
| "False"
{ BOOL false }
| '+'
{ PLUS }
| '-'
{ MINUS }
| '*'
{ TIMES }
| '/'
{ DIVIDE }
| "def"
{ DEF }
| "int"
{ INTTYPE }
| ['A'-'Z' 'a'-'z' '_']['0'-'9' 'A'-'Z' 'a'-'z' '_']* as s
{ ID (s) }
| '('
{ LPAREN }
| ')'
{ RPAREN }
| '>'
{ LARGER }
| '<'
{ SMALLER }
| ">="
{ EQLARGER }
| "<="
{ EQSMALLER }
| "="
{ EQUAL }
| "!="
{ NOTEQUAL }
| '~'
{ NOT }
| "&&"
{ AND }
| "||"
{ OR }
| '('
{ LPAREN }
| ')'
{ RPAREN }
| "writeint"
{ WRITEINT }
| '\n'
{ EOL }
| eof
{ EOF }
| _
{ raise (Error (Printf.sprintf "At offset %d: unexpected character.\n" (Lexing.lexeme_start lexbuf))) }
第三个文件是 parser.mly。
%start <bool> main
%%
main:
| WRITEINT INT { true }
第四个是tokens.mly
%token <string> ID
%token <int> INT
%token <bool> BOOL
%token EOF EOL DEF INTTYPE LPAREN RPAREN WRITEINT
%token PLUS MINUS TIMES DIVIDE
%token LARGER SMALLER EQLARGER EQSMALLER EQUAL NOTEQUAL
%token NOT AND OR
%left OR
%left AND
%nonassoc NOT
%nonassoc LARGER SMALLER EQLARGER EQSMALLER EQUAL NOTEQUAL
%left PLUS MINUS
%left TIMES DIVIDE
%nonassoc LPAREN
%nonassoc ATTRIB
%{
type token =
| ID of (string)
| INT
| BOOL
| DEF
| INTTYPE
| LPAREN
| RPAREN
| WRITEINT
| PLUS
| MINUS
| TIMES
| DIVIDE
| LARGER
| SMALLER
| EQLARGER
| EQSMALLER
| EQUAL
| NOTEQUAL
| NOT
| AND
| OR
| EOF
| EOL
%}
%%
现在，我知道这里有很多未使用的符号，但我打算在我的解析器中使用它们。无论我对文件进行多少更改，编译器都会在我的面前崩溃。我尝试了我能想到的一切，但似乎没有什么作用。是什么导致ocamlbuild以大量未绑定构造函数和未定义起始符号的错误而爆炸？我应该使用哪个命令来正确编译程序？在哪里可以找到有意义的材料来学习Menhir？
mly更简单。我没有在我的答案中提出这个解决方案，因为我假设 @Lopson 想要使用 menhir 的“解析单元的分离编译”功能。 - Thomas