Re: Test for > 'last

["Ant" <ant@work.invalid>]

"Peter Richtmyer" <prichtmyer@yahoo.com> wrote in message
news:1b585154.0303140406.124c3312@posting.google.com...
> This may be trivial, but I have come across some code
> in a (weapon control) system that does checks similar
> to:
>
>     ---------------------------------------
>     if enum_input < enum_type'first or
>        enum_input > enum_type'last then
>        -- handle the input error
>     ---------------------------------------

[...]

> But I am wondering whether people think the original code
> is OK, sort of wrong, really grossly wrong, or what.

I would rather do this:

if enum_input not in enum_type'first .. enum_type'last then
  -- handle error
end if;