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.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,32c37aca7f5cedbb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-16 13:02:04 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!news.mailgate.org!fr.usenet-edu.net!usenet-edu.net!enst!enst.fr!not-for-mail From: sk Newsgroups: comp.lang.ada Subject: Re: enumeration_io: get error Date: Sun, 16 Jun 2002 14:59:07 -0500 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: References: <3D0BF45C.D12DE2BF@acm.org> Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1024257722 37647 137.194.161.2 (16 Jun 2002 20:02:02 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Sun, 16 Jun 2002 20:02:02 +0000 (UTC) Return-Path: X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.2.19-4.3mdk i686) X-Accept-Language: en Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.8 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:26085 Date: 2002-06-16T14:59:07-05:00 Hi, Firstly, I quickly compiled (gnat 3.13p) the example and found my predictions about 4 correct entries followed by more to be totally WRONG. It seems as if 4 correct entries in a row exit the loop no matter how many times the exception handler was invoked. This would suggest that the ARM (gnat-3.13p-docs) section on "Exception Handling" statement is in effect > Then, the sequence_of_statements of the handler > is executed; this execution replaces the > abandoned portion of the execution of the > sequence_of_statements Which I believe is saying that the code is behaving as follows procedure Tests is begin ... exception when Others => procedure Tests is begin ... exception when Others => procedure Tests is ... ... Etc until memory overflows ... or four correct values are entered end Tests; end Tests; Is that a reasonable interpretation of what is going on ? Doesn't this then become one of those "erroneous" programs that the standard says are your own fault ? -- Jeffrey Carter > ... carefully review the semantics of Enumeration_IO.Get. ... I understand your "looked at but not consumed" statement, but I am not sure (ARM "Input-Output for Enumeration Types") where there is justification for the different alphabet and symbol character treatment. Would you be willing to explain a little further ? -- It would seem that the OP has invoked a "two-for-one" deal on unexpected behaviours :-) -- ------------------------------------- -- Merge vertically for real address ------------------------------------- s n p @ t . o k i e k c c m -------------------------------------