Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002720OCaml~DO NOT USE (was: OCaml general)public2004-06-15 16:302013-07-29 06:06
Assigned Togarrigue 
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002720: Local, recursive modules

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 Mottl [^]

TagsNo tags attached.
Attached Files

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

-  Notes
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.
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.
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
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker