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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,103b407e8b68350b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-08 20:23:40 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news-out.cwix.com!newsfeed.cwix.com!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!spool0901.news.uu.net!spool0900.news.uu.net!reader0901.news.uu.net!not-for-mail
Date: Wed, 08 Jan 2003 23:23:37 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.3a) Gecko/20021212
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Anybody in US using ADA ? One silly idea..
References: <mailman.1041817083.31051.comp.lang.ada@ada.eu.org>
 <avc2tk$e3qv9$1@ID-77047.news.dfncis.de>
 <1041908422.928308@master.nyc.kbcfp.com>
 <kegl1vsa5tjnkuo04ckgt78b3lsn5j0ium@4ax.com>
 <1041997309.165001@master.nyc.kbcfp.com>
 <avh8fs$fni6s$2@ID-77047.news.dfncis.de>
In-Reply-To: <avh8fs$fni6s$2@ID-77047.news.dfncis.de>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1042086217.253468@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1042086218 reader1.ash.ops.us.uu.net 5496 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:32799
Date: 2003-01-08T23:23:37-05:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> But this is not generics vs. tagged, it is inlined vs. not. It is clear that 
> an inlined subroutine cannot be put into a library. The difference is only 
> that tagged types leave me a choice, while generics don't.

The inlining in question here is bits of your new object's code
getting inlined into the library code, rather than the usual
direction of inlining library code into your code. While you
are not wrong in the abstract, the facts of implementations are
that libraries which receive tagged types on which to operate
are shipped as compiled binaries, and the opportunities to
inline are simply not there.