From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 3 Dec 92 20:14:37 GMT From: rational.com!kdm@uunet.uu.net (Kent Mitchell) Subject: Re: The cost of is separate Message-ID: <1992Dec3.201437.9169@rational.com> List-Id: Mike Ryer (ryer@inmet.camb.inmet.com) wrote: << lots of valid stuff deleted>> : I believe that all current Ada compilers go all the way through code generati on : at compilation time. This is mostly true. However, the Rational Environment compiler decouples semantic analysis from code generation. This allows for full code optomization even in the case of separates. <> : It occurs to me that if the compiler has to view the subunit as "unknown : mucking around with everything in sight", that the human who is reviewing : the parent unit must make the same assumption. Even if the human reviewer : happens to have already seen the subunit, he has no assurance that it won't : change after the design of the parent unit has been blessed (never to be : analyzed again). I tend to agree with this but I always feall that there is a fine line here between a Ada unit that runs on for 10 pages and the use of separates. In general size "rules" should be size "guidelines" and we should not let people get too religious about this. Kent Mitchell Rational "my views are my own