Re: Enumeration representation clause surprise.

[tmoran@acm.org]

>There's a "Note" in RM13.4(11/1) that says "Unchecked_Conversion
>may be used to query the internal codes used for an enumeration type".
   That, along with 13.4(7) "An enumeration representation clause
specifies the coding aspect of representation.  The coding consists of the
internal code for each enumeration literal, ..."  sure sounds to me like
an Unchecked_Conversion should return the internal code set by the
enumeration representation clause, ie, the number 1 or number 2 in this
case.  The fact the variable in question is in a record shouldn't make
that false.
  RM 13.1(1) says about representation items (a superset of representation
clauses) that "They can be provided to ...  or to interface with features
that are outside the domain of the language (for example, peripheral
hardware)."  In this case that clearly would not work.  And if the
compiler is going to ignore something the programmer asked for, it ought
to at least generate a warning.