Re: enumeration_io: get error

[Jeffrey Carter <jrcarter@acm.org>]

The quick answer is not to use an instantiation of Enumeration_IO to do
the input. Use Get_Line to obtain a String, then use 'Value or the
version of Get that takes the value from a String to convert the String
to a value of the enumeration type. Use a loop to handle the exception
that occurs if the String does not contain the representation of an
enumeration value.

The long answer is to carefully review the semantics of
Enumeration_IO.Get. Pay special attention to the cases in which the next
character in the input is consumed and those in which the next character
is looked at but not consumed. You will find that characters such as '*'
are looked at but not consumed, meaning the next call to Get sees the
same character. In this particular example, this causes infinite
recursion.

It is left as an exercise for the reader to figure out how to deal with
this.

-- 
Jeff Carter
"You cheesy lot of second-hand electric donkey-bottom biters."
Monty Python & the Holy Grail