0002564: Hierarchical Modules

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002564

OCaml

OCaml general

public

2004-05-09 19:33

2004-05-10 14:32

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0002564: Hierarchical Modules

Description

Full_Name: Kenneth Knowles
Version: 3.07+14
OS: linux
Submission from: adsl-64-162-212-212.dsl.snfc21.pacbell.net (64.162.212.212)

I recall seeing a "wish not granted" bug asking for namespacing (i.e. modules
without real signatures, for distribution purposes only)... but I can't find it
now, perhaps I am mistaken.

I would love some kind of namespacing construct, but failing that, the GHC
compiler has a very useful, (and simple!), syntactic extension to allow periods
in the names of modules. This is my feature request:

http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#HIERARCHICAL-MODULES [^]

My reason for wanting this is to accomodate a hierarchical distribution model,
take Simple Directmedia Layer for example (this module layout is not the one
that ocamlsdl actually has):

User installs SDL, which contains
modules SDL = struct
   module Video = struct ... end
   module Timer
   module Audio
   ...
end

However, there are extension libraries which one may like to install
independently, such as SDL_Image. For this to appear within the SDL module
would be nice, i.e.:

module SDL.Image = = struct
   ...
end

I don't desire that this new module appear in the signature of the SDL module,
but rather that it be able to be referenced via the identifier SDL.Image.

It is only an illusion of the appearance of

module SDL = struct
    module Video
    module ....
    module Image
end

Forgive me if this has been requested before and I failed to locate the feature
request.

Kenn

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Relationships

Notes
There are no notes attached to this issue.