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,6d342d02d729296e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-21 17:54:28 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-05!sn-xit-06!sn-post-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Entry family
Date: Thu, 21 Nov 2002 19:30:02 -0600
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <utr3ik1b1mmlf9@corp.supernews.com>
References: <mailman.1037881262.11379.comp.lang.ada@ada.eu.org>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:31156
Date: 2002-11-21T19:30:02-06:00
List-Id: <comp.lang.ada>

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.