Ticket #9 (new defect)
Visibility for Contained Subtypes
|Reported by:||dom||Owned by:||dan|
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.