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,5c8c86891defe3dc
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-28 08:53:06 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newspeer.radix.net!uunet!ash.uu.net!xyzzy!nntp
From: Jeffrey Carter <jeffrey.carter@boeing.com>
Subject: Re: Newbie Q : Exception handling
X-Nntp-Posting-Host: e246420.msc.az.boeing.com
Content-Type: text/plain; charset=us-ascii
Message-ID: <3C050DB2.4C327C3D@boeing.com>
Sender: nntp@news.boeing.com (Boeing NNTP News Access)
Content-Transfer-Encoding: 7bit
Organization: The Boeing Company
X-Accept-Language: en
References: <3c035fe0.7469961@news.freeserve.net>
Mime-Version: 1.0
Date: Wed, 28 Nov 2001 16:15:46 GMT
X-Mailer: Mozilla 4.73 [en]C-CCK-MCD Boeing Kit  (WinNT; U)
Xref: archiver1.google.com comp.lang.ada:17110
Date: 2001-11-28T16:15:46+00:00
List-Id: <comp.lang.ada>

If you read carefully the description of what Enumeration_IO.Get does,
you'll see that it looks at the digit but doesn't remove it from the
buffer, so the following Get encounters it again, resulting in an
infinite loop.

Others have suggested adding Skip_Line. This will work, but I generally
advise using Get_Line to input an entire line, then decode it Get, when
the input comes from a human.

-- 
Jeffrey Carter