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,8a074a0043177938,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-11-11 12:19:05 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn12feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi.com!attbi_s03.POSTED!not-for-mail
From: Freejack <user@nospam.net>
Subject: Type declared in record?
Newsgroups: comp.lang.ada
Message-ID: <pan.2003.11.11.20.25.14.453080.936@nospam.net>
User-Agent: Pan/0.11.4 (Unix)
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Comment-To: ALL
NNTP-Posting-Host: 12.245.85.50
X-Complaints-To: abuse@comcast.net
X-Trace: attbi_s03 1068581939 12.245.85.50 (Tue, 11 Nov 2003 20:18:59 GMT)
NNTP-Posting-Date: Tue, 11 Nov 2003 20:18:59 GMT
Organization: Comcast Online
Date: Tue, 11 Nov 2003 20:19:04 GMT
Xref: archiver1.google.com comp.lang.ada:2372
Date: 2003-11-11T20:19:04+00:00
List-Id: <comp.lang.ada>

When using Ada records, is there a way to do something like this...

	type Foo is record
		type Bar is array(1..Blah) of Positive;
		Foo1 : Natural;
		Foo2 : Natural;
		<ect...>
	end record;

I know I can achieve the same(or a similiar) effect using a tagged type.
I was just curious if the above approach is possible, if there was a type
constraint that could be placed on type Bar that would garauntee a
correct elaboration at either compile time or run-time.

Just curious.

Frejack