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: 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.
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...
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
The text was updated successfully, but these errors were encountered: