projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e34716b) | patch
[Ada] Add Remove primitive on functional maps
authorClaire Dross <dross@adacore.com>
Tue, 17 Sep 2019 08:03:02 +0000 (08:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Sep 2019 08:03:02 +0000 (08:03 +0000)
commit994e33d27a6d0de5a3fdb646c93aaea72d003c6f
treef4cb6dfbc1e9d2b6229a07d17af5224a9aae99a3tree
parente34716b8dd8836a565b4cf0c26f7244161f194f1commit | diff
[Ada] Add Remove primitive on functional maps

A primitive for removing a mapping from a functional map has been added.

2019-09-17  Claire Dross  <dross@adacore.com>

gcc/ada/

* libgnat/a-cofuma.ads, libgnat/a-cofuma.adb (Remove): New
function which returns a copy of the input container without a
given mapping.

From-SVN: r275797
gcc/ada/ChangeLog diff | blob | history
gcc/ada/libgnat/a-cofuma.adb diff | blob | history
gcc/ada/libgnat/a-cofuma.ads diff | blob | history