Package: gnat
Version: 3.15p-12
Severity: normal
procedure Test_146 is
generic
type T1 is private;
package pak1 is
type T2 is array(1..10) of aliased T1;
end pak1;
type T3 (b: Boolean := False) is null record;
package new_pak1 is new pak1 (T1 => T3); --ERROR: T3 unconstrained
begin
null;
end Test_146;
Some output similar to the following is expected, but GNAT says nothing.
test_146.adb:5:41: Type "T1" of aliased component must be constrained (RM
3.6(11))
test_146.adb:9:39: Actual type "T3" is unconstrained (RM 3.6(11))
gnatmake: "test_146.adb" compilation error
-- System Information:
Debian Release: 3.1
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.27-2-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Versions of packages gnat depends on:
ii binutils 2.15-5 The GNU assembler, linker and bina
ii libc6 2.3.2.ds1-20 GNU C Library: Shared libraries an
ii libc6-dev 2.3.2.ds1-20 GNU C Library: Development Librari
ii libgnat-3.15p-1 3.15p-12 The GNU Ada 95 compiler runtime li
-- no debconf information
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
