Fixes rejection of deep delta aggregates with core Ada extensions
Enables deep delta aggregates when core Ada extensions are enabled (e.g., -gnatX).
This commit corrects an issue where deep delta aggregates were incorrectly rejected when using core Ada extensions (enabled via -gnatX). The fix modifies the compiler to enable deep delta aggregates when core extensions are enabled, instead of requiring all extensions to be enabled.
In Details
The issue resided in exp_aggr.adb, par-ch4.adb, and sem_aggr.adb where All_Extensions_Allowed was being checked instead of Core_Extensions_Allowed. This commit corrects this check, allowing deep delta aggregates when-gnatX is used. It also updates the documentation.
For Context
Ada compilers can be configured with extensions that provide additional features. This commit fixes a bug that prevented a specific feature, *deep delta aggregates*, from working correctly when a set of core extensions was enabled. Deep delta aggregates are now available when using the -gnatX compiler flag, which enables core language extensions.