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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bbfb939683be33d3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-09-07 22:10:55 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!nntpserver.pppl.gov!princeton!udel!gatech!swrinde!sdd.hp.com!col.hp.com!csn!boulder!news.coop.net!news.den.mmc.com!iplmail.orl.mmc.com!romulus23!dennison
From: dennison@romulus23.DAB.GE.COM (Ted Dennison)
Newsgroups: comp.lang.ada
Subject: Re: The gnat binder (was: Re: Aerospace Industry says Drop Ada
   Mandate)
Date: 6 Sep 1994 12:57:50 GMT
Organization: General Electric SCSD, Daytona Beach FL
Sender: dennison@romulus23 (Ted Dennison)
Distribution: world
Message-ID: <34hp0e$iil@theopolis.orl.mmc.com>
References: <611@mlb.win.net> <33to4c$lvj@goanna.cs.rmit.oz.au>
   <33u4dq$m6e@gnat.cs.nyu.edu> <33v3sm$3ng@cmcl2.NYU.EDU>
   <341smf$bd0@theopolis.orl.mmc.com> <3424je$qjb@schonberg.cs.nyu.edu>
   <3478nl$jf9@theopolis.orl.mmc.com>  <347roa$8ob@gnat.cs.nyu.edu>
 <34a2et$9lq@info.epfl.ch>
NNTP-Posting-Host: romulus23.orl.mmc.com
Date: 1994-09-06T12:57:50+00:00
List-Id: <comp.lang.ada>

In article <34a2et$9lq@info.epfl.ch>, weber@lglsun.epfl.ch (Mats Weber) writes:
|> In article <347roa$8ob@gnat.cs.nyu.edu>
|> dewar@cs.nyu.edu (Robert Dewar) writes:
|> 
|> > As for Verdix compiling new sources in the right order, I am willing to bet
|> > that it does NOT properly analyze pragma inline cases. In particular, as
|> > I mentioned, there are cases where no order of compilation works in a
|> > traditional system. Consider:
|> 
|> In some situations, it (Verdix) fails when analyzing dependencies on
|> generics (no inlines involved). I often have to tell the compiler to
|> first make the generic, and then its instantiations, otherwise the
|> compiler crashes with an internal error.

I have found this as well. Often it crashes with an internal error only
after filling up the entire disk (which can take quite a while).

T.E.D.