GNAT: Handling of Freezing Rules

[Geert Bosch]

On Apr 20, 2004, at 10:24, Reinhold May wrote:
> Thus, in my opinion Gnat should compile the code above.
>
> What do others think?

Referencing an entities attribute is an explicit reference
to the entity. Note that even implicit references would be
a valid reason for the compiler to require freezing.

Note however, that this forum is not a language discussion
forum, so if you want to argue this issue you might want
to send a note to the ada-comment@ada-auth.org list, which
deals with issues related to the Ada language standard.

   -Geert