Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005630OCamlOCaml typingpublic2012-05-31 20:502012-06-01 04:52
Reportermottl 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionduplicate 
PlatformanyOSanyOS Versionany
Product Version3.12.1 
Target VersionFixed in Version 
Summary0005630: "open" broken in signatures of recursive modules
DescriptionThe code below demonstrates that "open" does not work in signatures of recursive modules when referring to another module in the recursion even though the latter is clearly in scope. The problem does not happen in module bodies.

---------------------------------------------
module rec A : sig
  open B (* does not work *)
  type s = B.t (* works *)
end = struct
  open B (* works *)
  type s = B.t
end
and B : sig type t end = struct type t end
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0004610closed Feature wish: open in recursive signatures 

-  Notes
(0007484)
frisch (developer)
2012-06-01 04:52

Duplicate of 0004610.

- Issue History
Date Modified Username Field Change
2012-05-31 20:50 mottl New Issue
2012-06-01 04:52 frisch Note Added: 0007484
2012-06-01 04:52 frisch Relationship added duplicate of 0004610
2012-06-01 04:52 frisch Status new => resolved
2012-06-01 04:52 frisch Resolution open => duplicate
2012-06-01 04:52 frisch Assigned To => frisch


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker