Your message dated Tue, 02 Mar 2010 01:55:46 +0100
with message-id <87eik3o831....@ludovic-brenta.org>
and subject line [Fixed in 4.4] Rejects matching parameter in generic
instantiation as non-matching
has caused the Debian Bug report #315414,
regarding [Fixed in 4.4] Rejects matching parameter in generic instantiation as
non-matching
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
315414: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=315414
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: gnat
Version: 3.15p-12
Severity: normal
The included code example is rejected with the following error message:
-----
gnatgcc -c -O0 -gnatE -gnato -gnatv -gnatv -gnati1 -gnatf -gnato -fstack-check
demo.adb
GNAT 3.15p (20020523) Copyright 1992-2002 Free Software Foundation, Inc.
Compiling: demo.adb (source file time stamp: 2005-06-22 13:44:20)
16. Measurement_Array => Measurement_Array);
|
>>> component subtype of actual does not match that of formal
"Measurement_Array"
>>> instantiation abandoned
20 lines: 2 errors
gnatmake: "demo.adb" compilation error
-----
To the best of my knowledge this program is legal Ada.
------------------------------------------------------------------------------
-- Source code:
with Generic_Root;
with Generic_Root.Child;
procedure Demo is
type Scalar is digits 15;
package Measurements is
new Generic_Root (Scalar => Scalar);
type Measurement_Array is array (Positive range <>)
of Measurements.Measurement;
package Measurement_Text_IO is
new Measurements.Child (Indices => Positive,
Measurement_Array => Measurement_Array);
begin
null;
end Demo;
generic
type Scalar is digits <>;
package Generic_Root is
---------------------------------------------------------------------------
-- type Limit:
type Limit is (Below, Exact, Above, Undefined);
---------------------------------------------------------------------------
-- type Measurement:
type Measurement (As : Limit := Exact) is
record
case As is
when Below | Exact | Above =>
Value : Scalar;
when Undefined =>
null;
end case;
end record;
---------------------------------------------------------------------------
end Generic_Root;
with Ada.Text_IO;
generic
type Indices is (<>);
type Measurement_Array is array (Indices range <>) of Measurement;
package Generic_Root.Child is
end Generic_Root.Child;
------------------------------------------------------------------------------
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing')
Architecture: powerpc (ppc)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.8-powerpc
Locale: LANG=fo_FO.ISO8859-1, LC_CTYPE=fo_FO.ISO8859-1 (charmap=ISO-8859-1)
Versions of packages gnat depends on:
ii binutils 2.15-7 The GNU assembler, linker and bina
ii libc6 2.3.2.ds1-22 GNU C Library: Shared libraries an
ii libc6-dev 2.3.2.ds1-22 GNU C Library: Development Librari
ii libgnat-3.15p-1 3.15p-12 The GNU Ada 95 compiler runtime li
Versions of packages gnat recommends:
ii ada-reference-ma 20021112web-3 The standard describing the Ada 95
ii gnat-gdb 5.3.gnat.0.0.20030225-8 Ada-aware version of GDB
ii gnat-gps 2.1.0-4 The GNAT Programming System - adva
-- no debconf information
--- End Message ---
--- Begin Message ---
Version: 4.4.3-1
Fixed in 4.4
--- End Message ---
