Модуль Genlex

Обобщённый лексический анализатор.

Этот модуль реализует простой «стандартный» лексический анализатор, представленный как функция от потоков символов к потокам токенов. Он реализует примерно лексические соглашения OCaml, но параметризуется набором ключевых слов вашего языка.

Пример: лексический анализатор, подходящий для настольного калькулятора, получается путём

     let lexer = make_lexer ["+"; "-"; "*"; "/"; "let"; "="; "("; ")"]

Соответствующий синтаксический анализатор будет функцией от token stream до, например, int, и будет иметь правила, такие как:

     let rec parse_expr = parser
       | [< n1 = parse_atom; n2 = parse_remainder n1 >] -> n2
     and parse_atom = parser
       | [< 'Int n >] -> n
       | [< 'Kwd "("; n = parse_expr; 'Kwd ")" >] -> n
     and parse_remainder n1 = parser
       | [< 'Kwd "+"; n2 = parse_expr >] -> n1 + n2
       | [< >] -> n1
   

Следует заметить, что использование ключевого слова parser и связанной нотации для потоков доступно только через расширения camlp4. Это означает, что необходимо предварительно обработать исходные файлы, например, с помощью командной строки "-pp" компилятора.