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,LOTS_OF_MONEY
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a8567eadfdf78b98
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-10-15 23:02:57 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.stealth.net!news.stealth.net!newsfeed.song.fi!nntp.inet.fi!central.inet.fi!inet.fi!read2.inet.fi.POSTED!not-for-mail
From: "Anders Wirzenius" <anders.wirzenius@pp.qnet.fi>
Newsgroups: comp.lang.ada
References: <3DAC92DB.4090307@linux.nu> <D64r9.59604$rz6.10428@sccrnsc02>
Subject: Re: Why does this happen?
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4522.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
Message-ID: <ki7r9.32$cX1.2997@read2.inet.fi>
Date: Wed, 16 Oct 2002 06:02:56 GMT
NNTP-Posting-Host: 194.251.142.2
X-Trace: read2.inet.fi 1034748176 194.251.142.2 (Wed,
 16 Oct 2002 09:02:56 EET DST)
NNTP-Posting-Date: Wed, 16 Oct 2002 09:02:56 EET DST
Organization: Sonera corp Internet services
Xref: archiver1.google.com comp.lang.ada:29829
Date: 2002-10-16T06:02:56+00:00
List-Id: <comp.lang.ada>

<tmoran@acm.org> wrote in message news:D64r9.59604$rz6.10428@sccrnsc02...
> >   Type Mtr_Type is array (Positive range <>,
> >                           Positive range <>) of integer;
> >
> >   type T_typ (Ns : Positive) is record
> >      M : Mtr_Type (1..2, 1 .. ns);  -- does not compile
> >   end record;
>
> Gnat 3.14 on my Windows system compiles those lines without complaint.

... but not on my Gnat 3.14, Windows NT.
I get the same error message as OP.

instead
       M : Mtr_Type (-1..ns, -1..ns);
compiles without errors.

Could it be a question of elaboration, because a compilation, having
       M : Mtr_Type (-1..ns, -1..ns);
in test.ads,
of a test_test.adb

with test;
with Ada.Text_IO;
procedure test_test is
   A: test.T_typ(2);
begin
   null;
end;

gives the warning

test.ads:7:22: warning: static value out of range of type
"Standard.positive"
test.ads:7:22: warning: "constraint_error" will be raised at run time

Anders Wirzenius