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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8057d38c9d4235d9
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Smart compilers?
Date: 1998/01/23
Message-ID: <dewar.885563696@merv>#1/1
X-Deja-AN: 318602220
References: <199801231254.NAA10827@olaris.misil>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 885563882 3377 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-01-23T00:00:00+00:00
List-Id: <comp.lang.ada>


<<I thought that one reason for using specs and bodies was that when just
a body changed and not the spec there was no need to recompile anything
else than the body.
This feature seems to be overlooked by the compiler manufacturers.
At least with my compiler, verdix, and probably Rationals VADS as well,
haven't had time to try it that much.
Which ada compilers use this feature to reduce compile time?
>>

Absolutely ALL ada compilers take advantage of this. If you are having
trouble it is because of some misunderstanding of how to use the
compiler. FOr example, with most compilers it is necessarily to put
the body and spec in different files to get this advantage.

Also if you have pragma Inline's around, your compiler may optinoalloy
generate extra dependencies which may cause recompilation (if you think
about it, this is absolutely necessary). The same thing may happen
with generics in some circumstances.