Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003012OCamlOCaml typingpublic2004-07-28 06:312016-12-08 09:03
Reporteradministrator 
Assigned Togarrigue 
PrioritynormalSeverityfeatureReproducibilityalways
StatusconfirmedResolutionopen 
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
(0016818)
garrigue (manager)
2016-12-08 09:03

Destructive substitutions allow to do this for types and modules, but not for module types.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2016-12-07 18:32 shinwell Category OCaml general => OCaml typing
2016-12-07 18:32 shinwell Description Updated View Revisions
2016-12-08 09:03 garrigue Note Added: 0016818
2016-12-08 09:03 garrigue Assigned To => garrigue
2016-12-08 09:03 garrigue Status acknowledged => confirmed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker