Question about enumeration types

[Reinert Korsnes <Reinert.Korsnes@ffi.no>]

Hi,

(sorry for somehow repeating a question)

Given the program as below.  Here I did put "E : E1" inside
a record since "E" is also a possible value for the enumeration type E1.

This is somehow verbose.  Is it a more elegant way ?

I find it boring that extending the range of possible values of
an enumeration type may easily cause conflicts with variable names,
and new variable names may cause conflicts values for enumeration
types.  I sometimes would like to have the reserved word "Exit"
as a possible value of an enumeration type....  Am I thinking
somewhat wrong ?

reinert

with Text_IO;
use  Text_IO;
procedure Atest1 is
   type E1 is (A, B, C, D, E);
   package E1_Io is new Text_IO.Enumeration_Io (E1);
   use E1_Io;

-- this conflicts with "E" as a possible value for type "E1" -- E : E1;

   type ARec_t is
     record
       E : E1;
     end record;
   ARec : ARec_t;

   begin
    ARec.E := A;

    Put(E1'First);Put(" ");Put(E1'Last);
end Atest1;