You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6140 Reporter:@alainfrisch Assigned to:@alainfrisch Status: closed (set by @garrigue on 2015-02-06T01:45:59Z) Resolution: duplicate Priority: normal Severity: minor Category: typing Duplicate of:#5514
Bug description
The 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.
The text was updated successfully, but these errors were encountered:
Original bug ID: 6140
Reporter: @alainfrisch
Assigned to: @alainfrisch
Status: closed (set by @garrigue on 2015-02-06T01:45:59Z)
Resolution: duplicate
Priority: normal
Severity: minor
Category: typing
Duplicate of: #5514
Bug description
The 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.
The text was updated successfully, but these errors were encountered: