Experimental Language Extensions (GNAT Reference Manual)

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

### 17.3 Experimental Language Extensions ¶

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

- Conditional when constructs
- Implicit With
- Storage Model
- Attribute Super
- Simpler Accessibility Model
- Case pattern matching
- Mutably Tagged Types with Size’Class Aspect
- No_Raise aspect
- Inference of Dependent Types in Generic Instantiations
- External_Initialization Aspect
- Finally construct
- Continue statement
- Destructors
- Structural Generic Instantiation