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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4c86cf2332cbe682
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-30 06:23:53 PST
Path: 
 swrinde!howland.reston.ans.net!agate!blanket.mitre.org!linus.mitre.org!spectre!emery
From: emery@goldfinger.mitre.org (David Emery)
Newsgroups: comp.lang.ada
Subject: Re: Ada.strings.bounded problems?
Date: 30 Jan 1995 14:15:40 GMT
Organization: The Mitre Corp., Bedford, MA.
Message-ID: <EMERY.95Jan30091540@goldfinger.mitre.org>
References: <TARJEIJ.95Jan11183331@ulrik.uio.no> <D29L78.J9@nntpa.cb.att.com>
	<3f3rl7$kts@watnews1.watson.ibm.com>
	<Mats.Weber-1301952029290001@mlma11.matrix.ch>
	<3fduto$ta7@watnews1.watson.ibm.com>
	<Mats.Weber-1701951908250001@mlma11.matrix.ch>
	<3fj8gs$h9b@watnews1.watson.ibm.com> <1995Jan19.124412@lglsun.epfl.ch>
	<3fmnc1$rns@watnews1.watson.ibm.com>
	<Mats.Weber-2301951656460001@mlma11.matrix.ch>
	<3g3k5c$7bu@gnat.cs.nyu.edu>
	<Mats.Weber-2701952307410001@mlma11.matrix.ch>
NNTP-Posting-Host: goldfinger.mitre.org
In-reply-to: Mats.Weber@matrix.ch's message of Fri, 27 Jan 1995 22:07:41 GMT
Date: 1995-01-30T14:15:40+00:00
List-Id: <comp.lang.ada>

>I think those compiler vendors would have served their users much
>better by implementing dead code elimination, which still is very seldom
>in Ada environments :-(.

Shared generics is one of those Ada-specific optimizations that can
hasve a real impact on design.  ('Passive tasks' is another.)  I've
developed systems that made very extensive use of generics, and, if
the compiler did not support shared generics, the resulting 'core
bloat' would have made the system too big to fit in the (virtual)
machine.  

Although dead code elimination (particularly eliminating unused
subprograms from packages) is important, I consider it much less
important than shared generics and passive tasks.

				dave
--
--The preceeding opinions do not necessarily reflect the opinions of
--The MITRE Corporation or its sponsors. 
-- "A good plan violently executed -NOW- is better than a perfect plan
--  next week"                                      George Patton
-- "Any damn fool can write a plan.  It's the execution that gets you
--  all screwed up"                              James Hollingsworth
-------------------------------------------------------------------------