OCaml: круговость между вариантом варианта и определением модуля

Question

Я переключаюсь с Haskell на OCaml, но у меня возникают некоторые проблемы. Например, мне нужно определение типа для регулярных выражений. Я делаю это с:

type re = EmptySet 
    | EmptyWord 
    | Symb of char 
    | Star of re 
    | Conc of re list 
    | Or of (RegExpSet.t * bool) ;; 

Элементы внутри или находятся в наборе (RegExpSet), поэтому я определяю его в следующий (а также функцию карты):

module RegExpOrder : Set.OrderedType = 
    struct 
     let compare = Pervasives.compare 
     type t = re 
    end 
module RegExpSet = Set.Make(RegExpOrder)  
module RegExpMap = Map.Make(RegExpOrder) 

Однако, когда я «OCaml [имя файла]» Я получаю:

Error: Unbound module RegExpSet 

в строке «Или» в определении «повторно».

Если я поменять эти определения, то есть, если я пишу определения модулей до определения типа повторно я, очевидно, получим:

Error: Unbound type constructor re 

в строке «тип т = ре».

Как я могу это решить? Спасибо!

Answer 1

Вы можете использовать recursive modules. Например, следующие компиляции:

module rec M : 
sig type re = EmptySet 
    | EmptyWord 
    | Symb of char 
    | Star of re 
    | Conc of re list 
    | Or of (RegExpSet.t * bool) 
end = 
struct 
    type re = EmptySet 
    | EmptyWord 
    | Symb of char 
    | Star of re 
    | Conc of re list 
    | Or of (RegExpSet.t * bool) ;; 
end 

and RegExpOrder : Set.OrderedType = 
    struct 
     let compare = Pervasives.compare 
     type t = M.re 
    end 
and RegExpSet : (Set.S with type elt = M.re) = Set.Make(RegExpOrder)