Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006140OCamltypingpublic2013-08-27 15:432015-02-06 02:46
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
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
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
2015-02-06 02:45 garrigue Status resolved => closed
2017-02-23 16:45 doligez Category OCaml typing => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker