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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!nntp.club.cc.cmu.edu!micro-heart-of-gold.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Parameterless generic instance in place of opaque type instance
Date: Sun, 28 Jul 2013 10:52:57 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcchafen3cm.fsf@shell01.TheWorld.com>
References: <op.w0w3syewule2fv@cardamome>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: pcls7.std.com 1375023178 6284 192.74.137.71 (28 Jul 2013 14:52:58
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sun, 28 Jul 2013 14:52:58 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:hjPHUxgBlTyhWLpQRvWrA7HSd+s=
Xref: news.eternal-september.org comp.lang.ada:16576
Date: 2013-07-28T10:52:57-04:00
List-Id: <comp.lang.ada>

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> For these types, a parameterless generic instance may be enough. I hope
> most compilers are clever enough to not duplicate machine code for each
> of  these instances, and just duplicate their data (valid or invalid
> assumption?).

Randy's compiler is clever enough to do that.  In fact it shares
generic code always.  There's a run-time cost to that, though.
GNAT never shares code.  Most Ada compilers I'm aware of do
not share.

- Bob