]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df310aa) | patch
ada: Implement use implies with experimental extension
authorsquirek <squirek@adacore.com>
Tue, 18 Feb 2025 10:54:01 +0000 (10:54 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 6 Jun 2025 08:37:06 +0000 (10:37 +0200)
commit994705cbe8658dc939160504e086409bd7a00a10
tree9c2de9b4ad20f91723f060c179632555e0b6c9bdtree
parentdf310aab0e1f56da10382a68ddd46d3fa0aa89a4commit | diff
ada: Implement use implies with experimental extension

The patch implements the experimental feature to allow use package
clauses within the context area to imply with.

gcc/ada/ChangeLog:

* doc/gnat_rm/gnat_language_extensions.rst: Add documentation.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/gnat_language_extensions.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git