diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2019-08-19 08:35:49 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-19 08:35:49 +0000 |
| commit | 123f02156122ea13f3bfabdef2b6385a25527158 (patch) | |
| tree | 607945e67d3d966865497f2fcab855ab96f26b1b /gcc/hooks.c | |
| parent | b1d7f6fe2beffb06c9745e1afba73a6aa7fa9dbd (diff) | |
| download | gcc-123f02156122ea13f3bfabdef2b6385a25527158.zip gcc-123f02156122ea13f3bfabdef2b6385a25527158.tar.gz gcc-123f02156122ea13f3bfabdef2b6385a25527158.tar.bz2 | |
[Ada] Add formal function parameter equality to SPARK containers
This patch adds a formal function parameter "=" (L, R : Element_Type) to
SPARK containers. The equality that is used by default for Element_Type
after this patch is the primitive equality and not the predefined any
more. It also allows to use any function with the appropriate signature
for the equality function.
2019-08-19 Joffrey Huguet <huguet@adacore.com>
gcc/ada/
* libgnat/a-cfdlli.ads, libgnat/a-cfhama.ads,
libgnat/a-cfinve.ads, libgnat/a-cforma.ads,
libgnat/a-cofove.ads, libgnat/a-cofuma.ads,
libgnat/a-cofuve.ads: Add formal function parameter "=" (L, R :
Element_Type) to the generic packages.
From-SVN: r274643
Diffstat (limited to 'gcc/hooks.c')
0 files changed, 0 insertions, 0 deletions