Original bug ID: 4470
Reporter: @mmottl
Assigned to: @xavierleroy
Status: closed (set by @xavierleroy on 2010-04-29T12:26:01Z)
Resolution: fixed
Priority: normal
Severity: major
Version: 3.10+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #4615
Monitored by: heidegger @mmottl

Bug description

I have run into the following problem trying to build omake-9.8.5.godi3 in Godi with the current release candidate 1 for OCaml-3.10.1. According to the developers this seems to be related to the typing of recursive modules. Could the OCaml-team please investigate this problem before making the release? - Thanks!

File "omake_node.ml", line 331, characters 0-791:
Signature mismatch:
Modules do not match:
sig
type t =
DirElt.t =
DirRoot of Lm_filename_util.root
| DirSub of FileCase.t * string * t Lm_hash.hash_marshal_eq_item
val abs_dir_name : DirHash.t -> string
end
is not included in
sig
type t =
DirRoot of Lm_filename_util.root
| DirSub of FileCase.t * string * DirHash.t
val abs_dir_name : DirHash.t -> string
end
Type declarations do not match:
type t =
DirElt.t =
DirRoot of Lm_filename_util.root
| DirSub of FileCase.t * string * t Lm_hash.hash_marshal_eq_item
is not included in
type t =
DirRoot of Lm_filename_util.root
| DirSub of FileCase.t * string * DirHash.t
make[1]: *** [omake_node.cmo] Error 2
make: *** [bootstrap] Error 2
make[1]: Leaving directory `/usr/local/home/godi310.1_64bit/godi/build/godi/godi-omake/work/omake-0.9.8.5/boot'