0004471: Wishlist: Support for constant values in recursive modules

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004471

OCaml

OCaml general

public

2007-12-30 17:17

2008-01-10 11:46

Reporter

furr

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

3.10.0

Target Version

Fixed in Version

Summary

0004471: Wishlist: Support for constant values in recursive modules

Description

The 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.

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

Relationships

Notes
There are no notes attached to this issue.