Использование StringMap в OCamllex

Question

Я пытаюсь написать парсер OCamllex, который строит строчную карту слов из списка. Тем не менее, я получаю сообщение об ошибке «Неограниченные модуль» при попытке открыть модуль StringMap в заголовке:

{ 
    open StringMap 
    type token = EOF | Word of string 
} 
(* other code *) 

Та же ошибка возникает, когда я явно не открывать модуль, и когда я пытаюсь создать карта в трейлере:

module StringMap = Map.Make (String) 

Все учебники OCaml предлагают использовать правильный синтаксис; так что, возможно, я злоупотребляю OCamllex (?) Я признаю, что область заголовка, правил и трейлера мне не понятна. Я искал решение в документации, но учебники, ориентированные на OCamllex, скудны. Может ли кто-нибудь сказать, что я делаю неправильно? Поддерживает ли OCamllex модуль StringMap?

Answer 1

Проблема в том, что модуль StringMap существует: вы должны сгенерировать его с помощью приложения-функтора, такого как module StringMap = Map.Make (String). Поместите это в заголовок , а не в трейлер. (Код прицепа будет помещен в конце созданного файла, и, таким образом, переплеты, установленные в нем не могут быть видны из вашего кода лексического анализатора.)

Если вы хотите, вы можете также открыть модуль:

open module StringMap = Map.Make (String) 

Открытые модули считаются несколько плохими. В частности, избегайте открытия модулей, таких как приложения Map и Set, так как их определения compare будут теневать обычным от Pervasives и порождать путаницу.