Re: Zoo question

[Ted Dennison <dennison@escmail.orl.mmc.com>]

Ken Garlington wrote:
> 
> Here's a little brain teaser we received recently. Assuming no typos or
> other obvious syntax errors, will the Fill procedure work in Ada 83?

OK. I'll bite. It looks like it would probably perform as advertised, with
no optimization set on the compiler. The following constraint check code -

> 
>       Get_Next_Animal: begin -- look carefully at this code!
>         Next_Animal := Animal_ID'Succ(Next_Animal);
>       exception
>         when others => Next_Animal := Animal_ID'First;
>       end Get_Next_Animal;

isn't guaranteed to work (assuming "work" means raise an execption within
this block when Animal_ID'Succ(Next_Animal) > Animal_ID'last).

Now, what did I miss? (it can't be that simple)

-- 
T.E.D.          
                |  Work - mailto:dennison@escmail.orl.mmc.com  |
                |  Home - mailto:dennison@iag.net              |
                |  URL  - http://www.iag.net/~dennison         |