From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8e97b70a5f7d5495,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Brain bug or GNAT bug?
Date: Wed, 28 Feb 2007 23:44:25 +0000
Message-ID: <C20BC459.9A6B4%yaldnif.w@blueyonder.co.uk>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: individual.net bcPj196Z+Qx7m9lg81vFkQLL5kHtoJKvBediMrFoUYVCSjcvRS
User-Agent: Microsoft-Entourage/11.3.3.061214
Thread-Topic: Brain bug or GNAT bug?
Thread-Index: AcdbkmDBn2g50MeFEdugQwARJIjQTg==
Xref: g2news2.google.com comp.lang.ada:9608
Date: 2007-02-28T23:44:25+00:00
List-Id: <comp.lang.ada>

Using GNAT GPL 2006 (PPC/Darwin), I instantiate:

   generic
   
      type modular is mod <>;
   
   package try is
   
      type DT1 (the_size : modular)  is limited private;
   
   -- subtype bounded is modular;
      subtype bounded is modular range 1..9;
      type DT2 (the_size : bounded)  is limited private;
   --                         |
   -- >>> subtype must be compatible with parent discriminant
   
      function is_empty (the_data : DT2) return Boolean;
   
   private
   
      type a_thing is null record;
      type a_ptr   is access a_thing;
      
      type a_ptr_array is array (modular range <>) of a_ptr;
   
      type DT1 (the_size : modular) is
         record
            things : a_ptr_array (1 .. the_size);
         end record;
   
      type DT2 (the_size : bounded)  is new DT1(the_size);
   
   end try;

and I get the error message commented-out at line 11.

If I substitute the declaration at line 9 for that at line 10,
the test program compiles and runs correctly.

Am I blundering here, or is this a GNAT bug?

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk