0003012: hiding module type items

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003012

OCaml

OCaml general

public

2004-07-28 06:31

2004-08-06 14:57

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

0003012: hiding module type items

Description

Full_Name: Evgeny Chukreev
Version:
OS:
Submission from: host134.t3n.sotline.ru (81.1.200.134)

What about 'without' constraint?
It lets to avoid many annoying copy&past issues.

# module type A =
sig
    type t1
    type t2
    [...]
    type tN

    val1 : [...]
    val2 : [...]
    [...]
    valN : [...]

    module m1 : [...]
    module m2 : [...]
    [...]
    module mN : [...]

    module mt1 = [...]
    module mt2 = [...]
    [...]
    module mtN = [...]
end

# module type B = A without val val2
                    without type t2
                    without module m2
                    without module type m2

module type B =
sig
    type t1
    type t3
    [...]
    type tN

    val1 : [...]
    val3 : [...]
    [...]
    valN : [...]

    module m1 : [...]
    module m3 : [...]
    [...]
    module mN : [...]

    module mt1 = [...]
    module mt3 = [...]
    [...]
    module mtN = [...]
end

While excluding of 'value' is easy to implement, there are should be cchecks for
item dependecies inside original module type.

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.