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,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-12-26 15:22:22 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news-out.cwix.com!newsfeed.cwix.com!wn13feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi.com!sccrnsc03.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Gnat error msg meaning?
X-Newsreader: Tom's custom newsreader
Message-ID: <NaMO9.320156$pN3.23912@sccrnsc03>
NNTP-Posting-Host: 12.234.13.56
X-Complaints-To: abuse@attbi.com
X-Trace: sccrnsc03 1040944941 12.234.13.56 (Thu, 26 Dec 2002 23:22:21 GMT)
NNTP-Posting-Date: Thu, 26 Dec 2002 23:22:21 GMT
Organization: AT&T Broadband
Date: Thu, 26 Dec 2002 23:22:21 GMT
Xref: archiver1.google.com comp.lang.ada:32324
Date: 2002-12-26T23:22:21+00:00
List-Id: <comp.lang.ada>

Perhaps I haven't recovered from the eggnog yet, but why does Gnat give
an error message, what does it mean, and what should I do?

unique_str.ads:11:23: Only static constraints allowed for parent
discriminants in the partial view

relevant source:

package root is
  type String_Counts is range 0 .. 50_000;

  type String_Character_Counts is range 0 .. 100_000_000;

  type Store_Type(Max_Strings : String_Counts;
                  Max_Characters : String_Character_Counts;
                  Task_Safe : Boolean)
    is new Ada.Finalization.Controlled with private;
  ...

package unique_str is
  type Store_Type(Max_Strings : root.String_Counts;
                  Max_Characters : root.String_Character_Counts;
                  Task_Safe : Boolean;
                  Comparison : Comparison_Map_Ptr)
           is new root.Store_Type(Max_Strings, Max_Characters, Task_Safe)
--                    ^ error location
           with private;