module - OCaml: circularidad entre el tipo de variante y la definición del módulo

variants

Question

Cambiaré de Haskell a OCaml pero estoy teniendo algunos problemas. Por ejemplo, necesito una definición de tipo para expresiones regulares. Lo hago con:

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

Los elementos dentro de O están en un conjunto (RegExpSet), por lo que lo defino a continuación (y también una función de mapa):

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

Sin embargo, cuando hago "ocaml [nombre del archivo]" obtengo:

Error: Unbound module RegExpSet

en la línea de "O" en la definición de "re".

Si cambio estas definiciones, es decir, si escribo las definiciones de los módulos antes de las definiciones de tipo re, obviamente obtengo:

Error: Unbound type constructor re

en la línea de "tipo t = re".

¿Como puedo resolver esto? ¡Gracias!

Answer 1

Puede intentar usar módulos recursivos . Por ejemplo, las siguientes compilaciones:

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 )