Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006465OCamlOCaml typingpublic2014-06-19 23:452014-08-18 20:32
Reportergarrigue 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version4.02.0+dev 
Target Versionafter-4.02.0Fixed in Version 
Summary0006465: Incremental weakening of module aliases is not allowed
DescriptionAssuming:
module M = struct type t = A module B = struct type u = B end end;;

the following fails:
module P : sig type t = M.t = A module B = M.B end = M;;

wheras this works:
module P : sig type t = M.t = A module B = M.B end = struct include M end;;

Clearly one would expect the type of M to be a subtype of that of struct include M end.
Tagspatch
Attached Filesdiff file icon strengthen_alias.diff [^] (9,714 bytes) 2014-06-20 13:47 [Show Content]

- Relationships

-  Notes
(0011764)
garrigue (manager)
2014-06-20 13:29

Added a preliminary patch, but it does not pass all tests yet (a problem with recursive modules).
(0011765)
garrigue (manager)
2014-06-20 13:48

Updated the patch. Now all tests in the typing testsuite go through.
(0011869)
garrigue (manager)
2014-07-17 09:29

Does the new target mean that I should merge the patch in the 4.02 branch now?
(Sorry, I've been busy with other things, and forgot to follow on this one...)
(0011904)
garrigue (manager)
2014-07-24 13:47

Merging will have to wait for later, as the current patch breaks camlp4.

- Issue History
Date Modified Username Field Change
2014-06-19 23:45 garrigue New Issue
2014-06-19 23:45 garrigue Status new => assigned
2014-06-19 23:45 garrigue Assigned To => garrigue
2014-06-20 13:29 garrigue File Added: strengthen_alias.diff
2014-06-20 13:29 garrigue Note Added: 0011764
2014-06-20 13:47 garrigue File Deleted: strengthen_alias.diff
2014-06-20 13:47 garrigue File Added: strengthen_alias.diff
2014-06-20 13:48 garrigue Note Added: 0011765
2014-07-16 17:18 doligez Tag Attached: patch
2014-07-16 17:19 doligez Target Version => 4.02.0+dev
2014-07-17 09:29 garrigue Note Added: 0011869
2014-07-24 13:47 garrigue Note Added: 0011904
2014-08-18 20:32 doligez Target Version 4.02.0+dev => after-4.02.0


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker