OCaml：バリアント型とモジュール定義の間の循環性

Question

私はHaskellからOCamlに切り替わりますが、いくつかの問題があります。たとえば、正規表現の型定義が必要です。それとも内部の要素がセット（RegExpSet）であるので、私はそれが次の（ともマップ機能）を定義

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

：私はそう

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 

"re"の定義の行にあります。

私はこれらの定義を交換した場合、それは私が再型定義の前にモジュールの定義を記述する場合、私は明らかに取得するには、次のとおりです。「型t =再」の行で

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)