Experimental Language Extensions (GNAT Reference Manual) (original) (raw)

Previous: Curated Extensions, Up: GNAT language extensions [Contents][Index]

17.3 Experimental Language Extensions ¶

Features activated via -gnatX0 orpragma 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
• Finally construct