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

recursive modules and type constructor scoping #3993

Closed
vicuna opened this issue Mar 27, 2006 · 1 comment
Closed

recursive modules and type constructor scoping #3993

vicuna opened this issue Mar 27, 2006 · 1 comment
Assignees

Comments

@vicuna
Copy link

vicuna commented Mar 27, 2006

Original bug ID: 3993
Reporter: Keiko NAKATA
Assigned to: @garrigue
Status: resolved (set by @garrigue on 2017-03-15T00:57:53Z)
Resolution: not a bug
Priority: normal
Severity: minor
Version: 3.09.1
Target version: later
Category: typing
Tags: recmod
Related to: #7313
Monitored by: @jberdine "Keiko NAKATA"

Bug description

Scoping rule for type constructors may not be consistent between module definitions with rec and without.

File attachments

@vicuna
Copy link
Author

vicuna commented Mar 15, 2017

Comment author: @garrigue

See the discussion in #7313.
With normal modules, we try to preserve the System F property that every type is defined before it is used, hence the restriction on scoping.
This is of course meaningless for recursive modules, hence the different behavior.
Of course one could argue that if we do not restrict recursive modules, there is some hypocrisy in restricting normal modules. Then the only answer is that recursive modules are experimental and unspecified...

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