Re: enumeration_io: get error

[sk <noname@myob.com>]

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
        ...
        <implicit system exit>
    exception
        when Others =>

            procedure Tests is
            begin
                ...
                <implicit system exit>
            exception
                when Others =>

                    procedure Tests is ...

                        ... Etc until memory overflows
                        ... or four correct values are entered
                        <implicit system exit>

            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 <jrcarter@acm.org>
> ... 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
-------------------------------------