Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

"open" broken in signatures of recursive modules #5630

Closed
vicuna opened this issue May 31, 2012 · 1 comment
Closed

"open" broken in signatures of recursive modules #5630

vicuna opened this issue May 31, 2012 · 1 comment

Comments

@vicuna
Copy link

vicuna commented May 31, 2012

Original bug ID: 5630
Reporter: @mmottl
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:04:47Z)
Resolution: duplicate
Priority: normal
Severity: minor
Platform: any
OS: any
OS Version: any
Version: 3.12.1
Category: typing
Duplicate of: #4610
Monitored by: @jberdine @mmottl

Bug description

The 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

@vicuna
Copy link
Author

vicuna commented Jun 1, 2012

Comment author: @alainfrisch

Duplicate of #4610.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants