Re: Verdix Corp ADA-language developmen

[wayne@ada-uts]

>                             Furthermore, Verdix does NOT require that
> the body of a generic be compiled before its instantiation.  It is
> possible to write mutually dependent generics (each generic
> instantiates the other) in Verdix, where most compilers will gag on
> such code.  

Could you explain this a little more?  My understanding of the LRM
leads me to believe this is illegal (LRM: 12.3:18):

  "Recursive generic instantiation is not allowed in the following
   sense:  if a given generic unit includes an instantiation of a
   second generic unit, then the instance generated by this
   instantiation must not include an instance of the first generic
   unit (whether this instance is generated directly, or indirectly
   by intermediate instantiations)."
   
It seems compilers should gag, or should at least cough.

                                              Wayne Wylupski