From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!uwmcsd1!bbn!inmet!ishmael!inmet!ada-uts!wayne
From: wayne@ada-uts
Newsgroups: comp.lang.ada
Subject: Re: Verdix Corp ADA-language developmen
Message-ID: <57900079@ada-uts>
Date: 29 Aug 88 13:11:00 GMT
References: <2410@elrond.CalComp.COM>
Nf-ID: #R:elrond.CalComp.COM:-241000:ada-uts:57900079:000:897
Nf-From: ada-uts!wayne    Aug 29 09:11:00 1988
List-Id: <comp.lang.ada>


>                             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