Implement Ada 2022 4.3.4(11/5), which rejects box compound delimiter <>
in delta record aggregates, just like another rule rejects it in delta
array aggregates.
gcc/ada/
* sem_aggr.adb (Resolve_Delta_Array_Aggregate): Reject boxes in
delta array aggregates.
Next (Choice);
end loop;
- Analyze_And_Resolve (Expression (Assoc), Component_Type (Typ));
+ -- For an array_delta_aggregate, the array_component_association
+ -- shall not use the box symbol <>; RM 4.3.4(11/5).
+
+ pragma Assert
+ (Box_Present (Assoc) xor Present (Expression (Assoc)));
+
+ if Box_Present (Assoc) then
+ Error_Msg_N
+ ("'<'> in array delta aggregate is not allowed", Assoc);
+ else
+ Analyze_And_Resolve (Expression (Assoc), Component_Type (Typ));
+ end if;
end if;
Next (Assoc);