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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,43b8954d461d7206
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-12-27 12:46:09 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!arclight.uoregon.edu!wn14feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi.com!rwcrnsc54.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: Gnat error msg meaning?
References: <x7v1y43z0sa.fsf@smaug.pushface.org>
X-Newsreader: Tom's custom newsreader
Message-ID: <l_2P9.473950$WL3.124126@rwcrnsc54>
NNTP-Posting-Host: 12.234.13.56
X-Complaints-To: abuse@attbi.com
X-Trace: rwcrnsc54 1041021969 12.234.13.56 (Fri, 27 Dec 2002 20:46:09 GMT)
NNTP-Posting-Date: Fri, 27 Dec 2002 20:46:09 GMT
Organization: AT&T Broadband
Date: Fri, 27 Dec 2002 20:46:09 GMT
Xref: archiver1.google.com comp.lang.ada:32343
Date: 2002-12-27T20:46:09+00:00
List-Id: <comp.lang.ada>

> >            is new root.Store_Type(Max_Strings, Max_Characters, Task_Safe)
>
>              is new root.Store_Type
>
> >            with private;
>
> compiles OK with GCC 3.2.
  Interesting.  Dropping mention of the parent's constraints until the
full, private, declaration, does seem to solve the problem with Gnat.  One
of the other compilers doesn't seem to care either way, but the third one
points out RM 3.7(13) "The parent subtype shall be constrained;".   Who's
right?
  In the meantime, sounds like I need two different versions of this
spec for two different compilers. :(