From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Entry family
Date: Thu, 21 Nov 2002 19:30:02 -0600
Date: 2002-11-21T19:30:02-06:00 [thread overview]
Message-ID: <utr3ik1b1mmlf9@corp.supernews.com> (raw)
In-Reply-To: mailman.1037881262.11379.comp.lang.ada@ada.eu.org
Grein, Christoph wrote in message ...
>To me, this looks like a fat compiler bug. The entry body shouod be
>
> entry E (for I in Boolean) when True is
>
>Report it to ACT (report@gnat.com).
I agree. This code violates 9.5.2(17), which says that the subtype name
has to fully conform between the specification and the body of the
entry. The compiler should not accept it.
What the code actually does isn't particularly relevant, since it's
illegal.
Randy.
next prev parent reply other threads:[~2002-11-22 1:30 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-11-21 12:14 Entry family Grein, Christoph
2002-11-21 14:18 ` evangeli
2002-11-22 1:30 ` Randy Brukardt [this message]
2002-11-22 10:39 ` Preben Randhol
2002-11-23 17:21 ` Simon Wright
-- strict thread matches above, loose matches on Subject: below --
2002-11-22 10:49 Grein, Christoph
2002-11-22 5:29 Grein, Christoph
2002-11-21 11:18 Evangelista Sami
2002-11-21 11:21 ` Preben Randhol
2002-11-21 12:39 ` evangeli
2002-11-21 12:10 ` Preben Randhol
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox