Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004471OCamlOCaml generalpublic2007-12-30 17:172013-08-04 01:08
Reporterfurr 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.10.0 
Target VersionFixed in Version 
Summary0004471: Wishlist: Support for constant values in recursive modules
DescriptionThe constraint on recursive module signatures to only contain function typed values is quite restrictive. Presumably, this is because initialization of these values would be difficult in the general case.

Examining my own uses of recursive modules, a significant improvement would be if constants were considered "safe", which could be accomplished with a kind of "value restriction" for modules. This solution would be nice because it is both already familiar to the seasoned OCaml programmer (from polymorphism) and would subsume the check for function values.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2007-12-30 17:17 furr New Issue
2008-01-10 11:46 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker