---

17.3 Experimental Language Extensions ¶

Features activated via -gnatX0 or pragma Extensions_Allowed (All_Extensions).

• Conditional when constructs
• Storage Model
• Attribute Super
• Simpler accessibility model
• Case pattern matching
• Mutably Tagged Types with Size’Class Aspect
• Generalized Finalization
• No_Raise aspect
• Inference of Dependent Types in Generic Instantiations
• External_Initialization Aspect