]> gcc.gnu.org Git - gcc.git/commit
ada: Implement inheritance of user-defined literal aspects for untagged types
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 27 Jan 2023 23:08:24 +0000 (00:08 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 16 May 2023 08:30:58 +0000 (10:30 +0200)
commitbac7eb85ef0caca4e55b362f688776dbea14feb9
treebf09d1c352198227391f0d5d262541302a9c030f
parent072861beb9bcc6cbf2e16aafe6b0aae049d60989
ada: Implement inheritance of user-defined literal aspects for untagged types

In Ada 2022, user-defined literal aspects are nonoverridable but the named
subprograms present in them can be overridden, including for untagged types.

gcc/ada/

* sem_res.adb (Has_Applicable_User_Defined_Literal): Apply the
same processing for derived untagged types as for tagged types.
* sem_util.ads (Corresponding_Primitive_Op): Adjust description.
* sem_util.adb (Corresponding_Primitive_Op): Handle untagged
types.
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads
This page took 0.055329 seconds and 5 git commands to generate.