From: christoph.grein@eurocopter.com
Subject: Re: not X'Length
Date: Thu, 15 May 2008 02:39:04 -0700 (PDT)
Date: 2008-05-15T02:39:04-07:00 [thread overview]
Message-ID: <954e4cd2-11a9-420b-85c4-7741c429e1b2@c65g2000hsa.googlegroups.com> (raw)
In-Reply-To: 482c0030$0$7542$9b4e6d93@newsspool1.arcor-online.net
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.
next prev parent reply other threads:[~2008-05-15 9:39 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-05-15 9:19 not X'Length Georg Bauhaus
2008-05-15 9:39 ` christoph.grein [this message]
2008-05-15 10:12 ` christoph.grein
2008-05-15 20:48 ` Georg Bauhaus
2008-05-15 22:20 ` Adam Beneschan
2008-05-16 8:04 ` Manuel Collado
2008-05-16 8:15 ` Georg Bauhaus
2008-05-16 12:52 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox