OCaml: circolarità tra tipo variante e di definizione di modulo

Question

sto passaggio da Haskell a OCaml ma sto avendo alcuni problemi. Ad esempio, ho bisogno di una definizione di tipo per le espressioni regolari. Lo faccio con:

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

Gli elementi all'interno della O sono in un set (RegExpSet), quindi mi definisco la prossima (e anche una funzione di mappa):

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

Tuttavia, quando lo faccio "ocaml [nome del file]" ottengo:

Error: Unbound module RegExpSet 

nella linea di "O" nella definizione di "re".

Se sostituisco queste definizioni, cioè, se scrivo le definizioni moduli prima le definizioni del tipo ri ovviamente ottengo:

Error: Unbound type constructor re 

nella linea di "tipo t = re".

Come posso risolvere questo? Grazie!

Answer 1

Si può cercare di usare recursive modules. Ad esempio, le seguenti compilazioni:

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)