diff options
| author | Bob Duff <duff@adacore.com> | 2024-08-18 19:13:46 -0400 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-09-02 10:22:50 +0200 |
| commit | a004c28c50581fe9ac20ac0e2cc1bc0387954db4 (patch) | |
| tree | 1e02b106bd0cb25b29497850c59eacd671bf44c8 /libgcc | |
| parent | 34437eb472f18af091890336ef1a1c70bbc95132 (diff) | |
| download | gcc-a004c28c50581fe9ac20ac0e2cc1bc0387954db4.zip gcc-a004c28c50581fe9ac20ac0e2cc1bc0387954db4.tar.gz gcc-a004c28c50581fe9ac20ac0e2cc1bc0387954db4.tar.bz2 | |
ada: Documentation for generic type inference
...plus minor improvements to existing documentation.
gcc/ada/
* doc/gnat_rm/gnat_language_extensions.rst: I assume "extended set
of extensions" was a typo for "experimental set of extensions",
because "extended extensions" is repetitive and redundant. "in
addition" clarifies that the one subsumes the other. Add a
reminder at the start of each subsection about what switch/pragma
enables what extensions. Add new section about "Inference of
Dependent Types in Generic Instantiations".
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions