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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,88c411c9d35323ec,start
X-Google-Attributes: gid103376,public
From: Florian Weimer <fw@deneb.cygnus.argh.org>
Subject: Subtype of limited type non-limited?
Date: 2000/03/24
Message-ID: <87em90iw1n.fsf@deneb.cygnus.argh.org>#1/1
X-Deja-AN: 601680276
Mail-Copies-To: never
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@cygnus.argh.org
X-Trace: deneb.cygnus.argh.org 953888325 4336 192.168.1.2 (24 Mar 2000
 08:58:45 GMT)
Organization: Penguin on board
User-Agent: Gnus/5.0804 (Gnus v5.8.4) Emacs/20.6
Mime-Version: 1.0
Reply-To: Florian Weimer <fw-usenet@deneb.cygnus.argh.org>
NNTP-Posting-Date: 24 Mar 2000 08:58:45 GMT
Newsgroups: comp.lang.ada
Date: 2000-03-24T08:58:45+00:00
List-Id: <comp.lang.ada>

The following code results in a GNAT error message:

access_discriminant.ads:21:36: access discriminants allowed 
                               only for limited types

GNAT assumes that the subtype of a limited type is non-limited (at
least under these special circumstances).  Is this really correct?

with Ada.Streams;

package Access_Discriminant is

   subtype Root_Stream_Type is Ada.Streams.Root_Stream_Type;

   type Read_Write is new Root_Stream_Type with null record;
   --  The following works:
   --  type Read_Write is new Ada.Streams.Root_Stream_Type with null record;

   procedure Read
     (Stream : in out Read_Write;
      Item   : out    Ada.Streams.Stream_Element_Array;
      Last   : out    Ada.Streams.Stream_Element_Offset);
   procedure Write
     (Stream : in out Read_Write;
      Item   : in     Ada.Streams.Stream_Element_Array);

   type Message_Sender is null record;

   type Mail_Body_Stream (Sender : access Message_Sender)
   is new Read_Write with null record;

end Access_Discriminant;