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.4 required=5.0 tests=BAYES_00,SUBJ_ALL_CAPS
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,4ae5e9a205d57072
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!proxad.net!newsfeed.arcor.de!news.arcor.de!not-for-mail
Date: Wed, 16 Nov 2005 12:23:54 +0100
From: Georg Bauhaus <bauhaus@futureapps.de>
Organization: future apps GmbH
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.7.8) Gecko/20050927 Debian/1.7.8-1sarge3
X-Accept-Language: en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: GENERIC SPEC TYPE ERROR
References: <1132137814.272620.71410@f14g2000cwb.googlegroups.com>
In-Reply-To: <1132137814.272620.71410@f14g2000cwb.googlegroups.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <437b1692$0$7427$9b4e6d93@newsread4.arcor-online.net>
NNTP-Posting-Date: 16 Nov 2005 12:22:58 MET
NNTP-Posting-Host: 43af69c9.newsread4.arcor-online.net
X-Trace: 
 DXC=iKjebFE9UjYW4R5Sih0g1S:ejgIfPPldTjW\KbG]kaMX1BZS;MmC65VPeHXMc[m?KTljUVjRQ60?RVmnOeiOY3@^g[50F7T5IOR
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:6425
Date: 2005-11-16T12:22:58+01:00
List-Id: <comp.lang.ada>

rashmi wrote:

>                 type VC_Rnge is Positive;
> 	type VC_Type is array(1..VC_Rnge) of PV_Vtyp;

in "array (1 .. 100)", two values, 1, and 100, specify
the bounds of the array. In "array (1 .. Positive)"
the identifier "Positive" does not denote a value, but a type.

If you want VC_Rnge to be a value, then declare

   VC_Rnge: Positive;