---

17.2 Curated Extensions ¶

Features activated via -gnatX or pragma Extensions_Allowed (On).

• Local Declarations Without Block
• Deep delta Aggregates
• Fixed lower bounds for array types and subtypes
• Prefixed-view notation for calls to primitive subprograms of untagged types
• Expression defaults for generic formal functions
• String interpolation
• Constrained attribute for generic objects
• Static aspect on intrinsic functions
• First Controlling Parameter