Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003012OCamlOCaml generalpublic2004-07-28 06:312004-08-06 14:57
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003012: hiding module type items
DescriptionFull_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.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker