Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006140OCamlOCaml typingpublic2013-08-27 15:432013-08-27 15:46
Reporterfrisch 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionduplicate 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006140: Semantics of "with module" constraints
DescriptionThe manual says:

******

The constraint module module-path = extended-module-path adds type equations to all type components of the sub-structure denoted by module-path, making them equivalent to the corresponding type components of the structure denoted by extended-module-path.

******


It seems, however, that this construction can also add more items in the constrained sub-modules. For instance, the following mli file is accepted (on trunk):

============================
module A0 : sig type t val x: string end

module X : sig
  module A : sig end
end with module A = A0
============================

Compiling it with "ocamlc -i" returns:

============================
module A0 : sig type t val x : string end
module X : sig module A : sig type t = A0.t val x : string end end
============================


Is it the intended behavior? If yes, I'd suggest to update the manual.
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0005514acknowledged "with module" semantics seem broken 

-  Notes
(0010244)
frisch (developer)
2013-08-27 15:46

Sorry, this is an exact duplicate of 0005514.

- Issue History
Date Modified Username Field Change
2013-08-27 15:43 frisch New Issue
2013-08-27 15:46 frisch Relationship added duplicate of 0005514
2013-08-27 15:46 frisch Note Added: 0010244
2013-08-27 15:46 frisch Status new => resolved
2013-08-27 15:46 frisch Resolution open => duplicate
2013-08-27 15:46 frisch Assigned To => frisch


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker