wayne@ada-uts (08/29/88)
> 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