Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004470OCamlOCaml generalpublic2007-12-21 22:232013-09-04 18:04
Reportermottl 
Assigned Toxleroy 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.10+dev 
Target VersionFixed in Version 
Summary0004470: OMake fails to build with release candidate
DescriptionI 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'
TagsNo tags attached.
Attached Files

- Relationships
related to 0004615acknowledged Typing recursive modules, maybe related to 4470? 

-  Notes
(0004397)
xleroy (administrator)
2007-12-26 17:30

Many thanks for this interesting bug report. Another user reported a similar problem on a different body of code. The type-checking of recursive modules was unsound in 3.10.0, but too strict in 3.10.1rc1. I refined the typing criterion in the 3.10 CVS branch in a way that remains sound but correctly accepts OMake and the other example. The criterion is probably still incomplete, but we'll see if it is good enough in practice.

- Issue History
Date Modified Username Field Change
2007-12-21 22:23 mottl New Issue
2007-12-26 17:30 xleroy Note Added: 0004397
2007-12-26 17:30 xleroy Assigned To => xleroy
2007-12-26 17:30 xleroy Status new => resolved
2007-12-26 17:30 xleroy Resolution open => fixed
2010-04-29 14:26 xleroy Status resolved => closed
2013-09-04 18:04 doligez Relationship added related to 0004615


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker