Я полный новичок, когда дело доходит до OCaml. Я только недавно начал использовать язык (около 2 недель назад), но, к сожалению, мне было поручено создать синтаксический анализатор (parser + lexer, чья функция - принимать или не принимать предложение) для выдуманного языка используя менгир. Теперь я нашел в Интернете некоторые материалы, касающиеся OCaml и Menhir:
Руководство по менгиру.
Эта веб-страница для некоторых курсов французского университета.
Краткое руководство по Менгиру на домашней странице Тосс в Sourceforge.
Пример Менгира на github от Дердона.
Книга об OCaml (с несколькими вещами об ocamllex + ocamlyacc
Случайный учебник по ocamllex от SooHyoung О.
И примеры, которые идут с исходным кодом Менгира.
(Я не могу добавить более двух гиперссылок, поэтому я не могу связать вас напрямую с некоторыми из упомянутых здесь веб-сайтов. Извините!)
Итак, как вы можете видеть, я отчаянно искал все больше и больше материала, чтобы помочь мне в создании этой программы. К сожалению, я все еще не могу понять многие концепции, и поэтому у меня много, много трудностей.
Для начала я не знаю, как правильно скомпилировать мою программу. Я использовал следующую команду:
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 взрываться во множестве ошибок несвязанных конструкторов и неопределенных начальных символов? Какую команду я должен использовать, чтобы правильно скомпилировать программу? Где я могу найти значимые материалы, чтобы узнать о Менгире?