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: 6090 Reporter: jpdeplaix Assigned to:@garrigue Status: closed (set by @xavierleroy on 2015-12-11T18:21:20Z) Resolution: fixed Priority: high Severity: major Fixed in version: 4.01.0+dev Category: typing Monitored by:@gasche@hcarty
Bug description
The following test-case doesn't compile using ocaml-4.01.0 but does compile with older versions.
It produce the following error:
Error: This variant or record definition does not match that of type Test.t
A private type would be revealed.
Steps to reproduce
module Test = struct type t = private A end
module Test2 : module type of Test with type t = Test.t = Test
The text was updated successfully, but these errors were encountered:
Actually, I wonder which older versions you are talking about.
I tested with 3.12.1 and 4.00.1, and in both cases your code is refused
(albeit for a different reason).
This said, now that a with constraint adds equations rather than overwrite
the original definition, it makes sense to allow this.
This is now accepted in 4.01 and trunk (revisions 13936 and 13937)
Original bug ID: 6090
Reporter: jpdeplaix
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:21:20Z)
Resolution: fixed
Priority: high
Severity: major
Fixed in version: 4.01.0+dev
Category: typing
Monitored by: @gasche @hcarty
Bug description
The following test-case doesn't compile using ocaml-4.01.0 but does compile with older versions.
It produce the following error:
Error: This variant or record definition does not match that of type Test.t
A private type would be revealed.
Steps to reproduce
module Test = struct type t = private A end
module Test2 : module type of Test with type t = Test.t = Test
The text was updated successfully, but these errors were encountered: