Given the following package spec: package Full_View is
type Base_Type (Num : Integer) is tagged private; type Base_Interface is interface; type New_Type is new Base_Type (Num => 11) and Base_Interface with private; private type Base_Type (Num : Integer) is tagged record My_Number : Integer := Num; end record; type New_Type is new Base_Type (Num => 11) and Base_Interface with null record; end Full_View; Trying to compile this with gcc 4.3.2 in Debian/Lenny results in the following error: full_view.ads:7:09: interface "Base_Interface" not implemented by full type (RM-2005 7.3 (7.3/2)) Verbose output: $ gcc -v -c full_view.ads Using built-in specs. Target: i486-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Debian 4.3.2-1.1' --with-bugurl=file:///usr/share/doc/gcc-4.3/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.3 --program-suffix=-4.3 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --enable-targets=all --enable-cld --enable-checking=release --build=i486-linux-gnu --host=i486-linux-gnu --target=i486-linux-gnu Thread model: posix gcc version 4.3.2 (Debian 4.3.2-1.1) COLLECT_GCC_OPTIONS='-v' '-c' '-mtune=generic' /usr/lib/gcc/i486-linux-gnu/4.3.2/gnat1 -quiet -dumpbase full_view.ads -mtune=generic full_view.ads -o /tmp/cchU6wbD.s full_view.ads:7:09: interface "Base_Interface" not implemented by full type (RM-2005 7.3 (7.3/2)) When removing the (Num => 11) discrimant initialization or the Base_Interface interface from the New_Type type extension, the code compiles fine. Seems to me that the consistency check of the partial and full view of a tagged type covering interfaces does not work with discriminants. - reto -- Summary: Discriminant & interface not implemented by full type (RM-2005 7.3 (7.3/2)) Product: gcc Version: 4.3.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: reet at codelabs dot ch GCC build triplet: i486-linux-gnu GCC host triplet: i486-linux-gnu GCC target triplet: i486-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39441