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-Thread: 103376,f712c3cc98e7f25
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!c65g2000hsa.googlegroups.com!not-for-mail
From: christoph.grein@eurocopter.com
Newsgroups: comp.lang.ada
Subject: Re: not X'Length
Date: Thu, 15 May 2008 02:39:04 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <954e4cd2-11a9-420b-85c4-7741c429e1b2@c65g2000hsa.googlegroups.com>
References: <482c0030$0$7542$9b4e6d93@newsspool1.arcor-online.net>
NNTP-Posting-Host: 80.156.44.161
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1210844344 25233 127.0.0.1 (15 May 2008 09:39:04
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 15 May 2008 09:39:04 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: c65g2000hsa.googlegroups.com; posting-host=80.156.44.161;
	posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1;
 .NET
	CLR 1.1.4322; .NET CLR 2.0.50727; InfoPath.1),gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.1 webwasher (Webwasher 6.7.0.3295)
Xref: g2news1.google.com comp.lang.ada:72
Date: 2008-05-15T02:39:04-07:00
List-Id: <comp.lang.ada>

>From RM 4.4 follows that this is equivalent to

if (not X'Length) in Positive then

Now Universal_Integer (X'Length is of this type) has no operators, so
it has to be converted to an appropriate type. This is Integer (or, to
be very precise, the type of Integer) in this case. But then there is
no "not" defined for this type. So the compiler is correct.