--- Begin Message ---
Package: gnat
Version: 3.15p-9
Severity: normal
-- RM 7.3(13)
-- If the ancestor subtype of a private extension has constrained
-- discriminants, then the parent subtype of the full view shall
-- impose a statically matching constraint on those discriminants.
package Test_88 is
type T1(b: boolean) is tagged null record;
type T2 is new T1(b => false) with private;
private
F: constant boolean := false;
type T2 is new T1(b => F) with null record; -- OK
end Test_88;
At the line maked "OK", the compiler says:
test_88.ads:10:27: constraint not conformant to previous declaration
gnatmake: "test_88.ads" compilation error
-- System Information:
Debian Release: testing/unstable
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.25-1-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8
Versions of packages gnat depends on:
ii libc6 2.3.2.ds1-12 GNU C Library: Shared libraries an
ii libgnat-3.15p-1 3.15p-9 The GNU Ada 95 compiler runtime li
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: gnat-4.3
Source-Version: 4.3.0-6
We believe that the bug you reported is fixed in the latest version of
gnat-4.3, which is due to be installed in the Debian FTP archive:
gnat-4.3-base_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/gnat-4.3-base_4.3.0-6_amd64.deb
gnat-4.3_4.3.0-6.diff.gz
to pool/main/g/gnat-4.3/gnat-4.3_4.3.0-6.diff.gz
gnat-4.3_4.3.0-6.dsc
to pool/main/g/gnat-4.3/gnat-4.3_4.3.0-6.dsc
gnat-4.3_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/gnat-4.3_4.3.0-6_amd64.deb
libgnat-4.3-dbg_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnat-4.3-dbg_4.3.0-6_amd64.deb
libgnat-4.3_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnat-4.3_4.3.0-6_amd64.deb
libgnatprj4.3-dbg_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnatprj4.3-dbg_4.3.0-6_amd64.deb
libgnatprj4.3-dev_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnatprj4.3-dev_4.3.0-6_amd64.deb
libgnatprj4.3_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnatprj4.3_4.3.0-6_amd64.deb
libgnatvsn4.3-dbg_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnatvsn4.3-dbg_4.3.0-6_amd64.deb
libgnatvsn4.3-dev_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnatvsn4.3-dev_4.3.0-6_amd64.deb
libgnatvsn4.3_4.3.0-6_amd64.deb
to pool/main/g/gnat-4.3/libgnatvsn4.3_4.3.0-6_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 248173@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ludovic Brenta <lbrenta@debian.org> (supplier of updated gnat-4.3 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 24 May 2008 14:30:35 +0200
Source: gnat-4.3
Binary: gnat-4.3-base gnat-4.3 libgnat-4.3 libgnat-4.3-dbg libgnatvsn4.3-dev libgnatvsn4.3 libgnatvsn4.3-dbg libgnatprj4.3-dev libgnatprj4.3 libgnatprj4.3-dbg
Architecture: source amd64
Version: 4.3.0-6
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Ludovic Brenta <lbrenta@debian.org>
Description:
gnat-4.3 - The GNU Ada compiler
gnat-4.3-base - The GNU Compiler Collection (gnat base package)
libgnat-4.3 - Runtime library for GNU Ada applications
libgnat-4.3-dbg - Runtime library for GNU Ada applications
libgnatprj4.3 - GNU Ada Project Manager
libgnatprj4.3-dbg - GNU Ada Project Manager
libgnatprj4.3-dev - GNU Ada Project Manager development files
libgnatvsn4.3 - GNU Ada compiler version library
libgnatvsn4.3-dbg - GNU Ada compiler version library
libgnatvsn4.3-dev - GNU Ada compiler version library - development files
Closes: 248173 482433
Changes:
gnat-4.3 (4.3.0-6) unstable; urgency=low
.
[ Aurelien Jarno ]
* Update libgcc1 symbols for hurd-i386.
.
[ Arthur Loiret ]
* Make gcc-4.3-spu Recommends newlib-spu. Fixes: #476088
* Build depend on spu build dependencies only when building
as gcc-4.x source package.
* Disable spu for snapshot builds.
* Support sh4 targets:
- sh4-multilib.dpatch: Add, fix multilib (m4/m4-nofpu) for sh4-linux
- multiarch-include.dpatch: Don't apply on sh4.
.
[ Matthias Klose ]
* Stop building libffi packages.
* Update to SVN 20080523 from the gcc-4_3-branch.
- Fix PR target/35662, wrong gfortran code on mips/mipsel. Fixes: #476427.
- Fix PR tree-optimization/36129, ICE with -fprofile-use.
Remove debian/patches/pr36129.dpatch.
- Fixes mplayer build on powerpc. Fixes: #475153.
- Remove gcc-i386-emit-cld patch.
- On Debian amd64 and i386 configure with --enable-cld.
* Stop building gij/gcj on alpha, arm and hppa. Fixes: #459560.
* libstdc++6-4.3-doc: Fix file location in doc-base file. Fixes: #476253.
* debian/patches/template.dpatch: Remove the `exit 0' line.
* Fix alternative names for amd64 cross builds. Addresses: #466422.
* debian/copyright: Update to GPLv3, remove the text of the GFDL
and reference the copy in common-licenses.
* Generate the locale data for the testsuite, if the locales package
is installed (not a dependency on all archs).
* Update libgcc2 symbols for m68k, libstdc++6 symbols for arm, m68k, mips
and mipsel.
* Do not include a symbols file for libobjc_gc.so.
* Add four more symbols to libgcj_bc, patch taken from the trunk.
* Adjust names of manual pages in the spu build on powerpc.
* ARM EABI (armel) updates (Andrew Jenner, Julian Brown):
- Add Objective-C support.
- Fortran support patches.
- Fix ICE in gfortran.dg/vector_subscript_1.f90 for -Os -mthumb reload.
* Build ObjC and Obj-C++ packages on armel.
* Reenable running the testsuite on m68k.
* Add spu build dependencies independent of the architecture.
* Move arm -funroll-loops fix to arm-funroll-loops from
gfortran-armel-updates. Apply it on both arm and armel.
Fixes: #476460.
* Use iceape-dev as a build dependency for Java enabled builds.
* Build the sru cross compiler from a separate source dir without applying
the hardening patches.
.
[Samuel Tardieu, Ludovic Brenta]
* debian/patches/gnalasup_to_lapack.dpatch: new.
* debian/patches/pr16087.dpatch: new. Closes: #248173.
* Correct the patches from the previous upload.
.
[Ludovic Brenta]
* debian/patches/ada-acats.dpatch: really run the just-built gnat, not the
bootstrap gnat.
* debian/rules2: when running the Ada test suite, do not run the multilib
tests as gnat does not support multilib yet.
* Run the ACATS testsuite again (patch it so it correctly finds gnatmake).
.
[Thiemo Seufer]
* debian/patches/ada-libgnatprj.dpatch,
debian/patches/ada-mips{,el}.dpatch: complete support for mips and mipsel.
Closes: #482433.
Checksums-Sha1:
92e5be3b716ed1c60e82933dd3d5172a0aa78bde 2510 gnat-4.3_4.3.0-6.dsc
315ace52d6f370accd571956924b5733b1fe1c59 4211323 gnat-4.3_4.3.0-6.diff.gz
eda1b51964ef426903affa03d62986d6b6f7cf36 553512 gnat-4.3-base_4.3.0-6_amd64.deb
8d9617a559c89fa3bf6d623b40635b37af9f7a12 1112070 libgnat-4.3_4.3.0-6_amd64.deb
61125063a73dfdd54f84705a73a9bee9738f087b 1701768 libgnatvsn4.3-dev_4.3.0-6_amd64.deb
f06f39d6e1ed6e0e45b452f2d86fac32bc9afc00 330074 libgnatvsn4.3_4.3.0-6_amd64.deb
ece74c6df02e03e86335de4f8b54b4a8d8fcd304 2633532 libgnatprj4.3-dev_4.3.0-6_amd64.deb
405eefeb89e95111092ef7f549953b5b0dfccb05 563826 libgnatprj4.3_4.3.0-6_amd64.deb
287ffa6d4ac80972aecea9ec7999bfdf0e161237 908368 libgnatprj4.3-dbg_4.3.0-6_amd64.deb
2ec03166d45b27aa5a075bd5c5be2884de19dbc8 1936924 libgnat-4.3-dbg_4.3.0-6_amd64.deb
48c865a01fea8ea43accf8817fa52a0fb067eb6e 460928 libgnatvsn4.3-dbg_4.3.0-6_amd64.deb
87a1800cff88b815f52ccbf003bc08ae415ad6f1 13656994 gnat-4.3_4.3.0-6_amd64.deb
Checksums-Sha256:
09b5f32cbe0d36891d29841ab4d962aa72053b1c647783b1cbe83ff73e51db84 2510 gnat-4.3_4.3.0-6.dsc
c4cea0a1efd0eca7bd164e68603e5132cebfa7ce266cf57d87e70e51a09e07b4 4211323 gnat-4.3_4.3.0-6.diff.gz
ff73fd37cb8b55c6102a768a1fe09b54e2a9d8745e66ece29946e25fe40d0f8a 553512 gnat-4.3-base_4.3.0-6_amd64.deb
d9fff54f862179b8c16196e86ee70b9fed9c44275ea0e6c3d3eb42ebe15e832f 1112070 libgnat-4.3_4.3.0-6_amd64.deb
081cd28b3b5cb9cb06d4bd2019cc77bb879b8320048fc80d77d4445c716413dc 1701768 libgnatvsn4.3-dev_4.3.0-6_amd64.deb
aa9206d7c5863c74f7b4d06dae8b35bf5c3258de5814bcc1837e592c76f4fe2f 330074 libgnatvsn4.3_4.3.0-6_amd64.deb
9e2ef16627f04787b864e244b60ca77bd19f3ff1c6bce721173b2a32f24fc713 2633532 libgnatprj4.3-dev_4.3.0-6_amd64.deb
59bda623494b3fb08c29093b225b8c59fcf8955d0b74d2ec9a55a74dd9f3b43a 563826 libgnatprj4.3_4.3.0-6_amd64.deb
325d2bb6e1fe0514a725118d0b3dd7ab2a324d2a7361519424b218d26bd8621b 908368 libgnatprj4.3-dbg_4.3.0-6_amd64.deb
d2294ff13070087ad0718798bc316c197d2d14168ec88176a765a140501db1f9 1936924 libgnat-4.3-dbg_4.3.0-6_amd64.deb
3af2123f45aa7154760aeeaf707cd5a746827b0da5c140c5fb81af90692a63bf 460928 libgnatvsn4.3-dbg_4.3.0-6_amd64.deb
54801a801a137de902a6979cfead8d7f960ac6a2a1606d68c03adffca6f8ccd0 13656994 gnat-4.3_4.3.0-6_amd64.deb
Files:
c9904b23aee4c75e24e72943c2017904 2510 devel optional gnat-4.3_4.3.0-6.dsc
7ba0b28e948cdcd91b925cbd1d611e0f 4211323 devel optional gnat-4.3_4.3.0-6.diff.gz
69b0b448dc2cb9464a2902e4606fb1f8 553512 libs optional gnat-4.3-base_4.3.0-6_amd64.deb
07434c595ef9115e0704fc830c1db7f9 1112070 libs optional libgnat-4.3_4.3.0-6_amd64.deb
8b15700c65d4a1a98a0c018ef38cf107 1701768 libdevel optional libgnatvsn4.3-dev_4.3.0-6_amd64.deb
10870a31d998d0f0d3d875c0eddd610a 330074 libs optional libgnatvsn4.3_4.3.0-6_amd64.deb
e9d72eb2f5b48e1edb61432200e19abc 2633532 libdevel optional libgnatprj4.3-dev_4.3.0-6_amd64.deb
3302cd274e75311f0de7312a4d77461d 563826 libs optional libgnatprj4.3_4.3.0-6_amd64.deb
ec324b589644c46e716403b653ffd8a2 908368 libdevel extra libgnatprj4.3-dbg_4.3.0-6_amd64.deb
718fd694b7ad8e45d0f117328a14ba38 1936924 libdevel extra libgnat-4.3-dbg_4.3.0-6_amd64.deb
46cbf6a4e2957d9154c8f15cc33e3e44 460928 libdevel extra libgnatvsn4.3-dbg_4.3.0-6_amd64.deb
4f0105aebbefe8579ec7ce002e3f7005 13656994 devel optional gnat-4.3_4.3.0-6_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIODDqx9kwJZ3/qtQRAnmPAJ9jR9pkSafXVlRiOX5qIXhmnsp4pwCeJP78
PWcY9XBfavPc6Mp8jnKapgs=
=IMPq
-----END PGP SIGNATURE-----
--- End Message ---