Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002720OCamlOCaml generalpublic2004-06-15 16:302013-07-29 06:06
Reporteradministrator 
Assigned Togarrigue 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002720: Local, recursive modules
DescriptionHi,

as it seems, local modules cannot be recursive. Is this just a matter
of updating the syntax, or are there semantical problems here?

Best regards,
Markus

--
Markus Mottl http://www.oefai.at/~markus [^] markus@oefai.at

TagsNo tags attached.
Attached Files

- Relationships
related to 0005955resolvedgasche support "let module rec ... in ..." 

-  Notes
(0009923)
garrigue (manager)
2013-07-28 10:11

There is no theoretical reason, but I see at least 2 practical reasons.
First, if you add recursive bindings, you also need parallel bindings.
This gets heavy.
Second, the point about local modules is that they can wrap any kind of definition.
In particular, recursive modules too can be handled that way.
(0009944)
mottl (reporter)
2013-07-28 22:34

This is a really old request. I agree with Jacques that there doesn't seem to be any need for this, since a local or first-class module can contain recursive sub-modules. This request can be closed.
(0009961)
garrigue (manager)
2013-07-29 06:06

Conclusion is that there is no compelling need.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2013-07-27 07:47 gasche Relationship added related to 0005955
2013-07-28 10:11 garrigue Note Added: 0009923
2013-07-28 22:34 mottl Note Added: 0009944
2013-07-29 06:06 garrigue Note Added: 0009961
2013-07-29 06:06 garrigue Status acknowledged => closed
2013-07-29 06:06 garrigue Assigned To => garrigue
2013-07-29 06:06 garrigue Resolution open => no change required


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker