Ticket #9 (new defect)

Opened 6 years ago

Last modified 6 years ago

Visibility for Contained Subtypes

Reported by: dom Owned by: dan
Priority: major Milestone:
Component: component1 Version:
Keywords: Cc:

Description

Is this correct? Or is visibility for contained subtypes handle somewhere else?

perVisible :: ASNType a -> ESS a -> ESS a
perVisible (BT INTEGER) c = c

48.4 If a type defined with an extensible constraint is referenced in a "ContainedSubtype?", the newly defined type does not inherit the extension marker or any of its extension additions (see 47.3.3). The newly defined type can be made extensible by including an extension marker at the outermost level in its "ElementSetSpecs?" (see also 46.3). For example:

                  A ::= INTEGER (0..10, ..., 12) -- A is extensible.
                  B ::= INTEGER (A)                        -- B is inextensible and is constrained to 0-10.
                  C ::= INTEGER (A, …)                     -- C is extensible and is constrained to 0-10.

Change History

Changed 6 years ago by dom

  • owner changed from somebody to dan
Note: See TracTickets for help on using tickets.