OCaml + Menhir Компиляция/запись

Я полностью новичок, когда дело доходит до OCaml. Я только недавно начал использовать язык (около 2 недель назад), но, к сожалению, мне было поручено создать синтаксический анализатор (parser + lexer, функция которого должна либо принять, либо не предложение) для составленного языка используя Menhir. Теперь я нашел некоторые материалы в Интернете относительно OCaml и Menhir:

Руководство Menhir.

Эта веб-страница для курса французского университета.

Краткое руководство по Menhir на главной странице Toss в Sourceforge.

Пример Менгира на github derdon.

Книга о OCaml (с несколькими вещами о ocamllex + ocamlyacc

Случайный учебник по ocamllex от SooHyoung Oh.

И примеры, которые поставляются с исходным кодом 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?