Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003993OCamltypingpublic2006-03-27 08:182017-03-15 01:57
ReporterKeiko NAKATA 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionno change required 
PlatformOSOS Version
Product Version3.09.1 
Target VersionlaterFixed in Version 
Summary0003993: recursive modules and type constructor scoping
DescriptionScoping rule for type constructors may not be consistent between module definitions with rec and without.
Tagsrecmod
Attached Files? file icon constr_escape.ml [^] (881 bytes) 2006-03-27 08:18 [Show Content]

- Relationships
related to 0007313assignedgarrigue Typing regression between 4.03 and 4.04 branch with signature coercion. 

-  Notes
(0017660)
garrigue (manager)
2017-03-15 01:57

See the discussion in PR#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...

- Issue History
Date Modified Username Field Change
2006-03-27 08:18 Keiko NAKATA New Issue
2006-03-27 08:18 Keiko NAKATA File Added: constr_escape.ml
2006-03-29 16:27 doligez Status new => acknowledged
2012-07-11 16:43 doligez Tag Attached: recmod
2012-07-11 16:43 doligez Target Version => 4.01.0+dev
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-11 14:51 doligez Target Version 4.00.1+dev => later
2016-12-07 18:40 shinwell Category OCaml general => OCaml typing
2017-02-23 16:45 doligez Category OCaml typing => typing
2017-03-15 01:54 garrigue Relationship added related to 0007313
2017-03-15 01:57 garrigue Note Added: 0017660
2017-03-15 01:57 garrigue Status acknowledged => resolved
2017-03-15 01:57 garrigue Resolution open => no change required
2017-03-15 01:57 garrigue Assigned To => garrigue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker