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-Thread: 103376,e93f73587e2bc1c3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Sharing generic bodies across instantiations.
Date: Mon, 2 Aug 2010 21:38:57 -0500
Organization: Jacob Sparre Andersen
Message-ID: <i37vg4$c8p$1@munin.nbi.dk>
References: <4c4e2d69$0$2378$4d3efbfe@news.sover.net>
 <i2ne8j$1i7g$1@news.ett.com.ua> <4c4f5c28$0$2375$4d3efbfe@news.sover.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1280803141 12569 69.95.181.76 (3 Aug 2010 02:39:01 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 3 Aug 2010 02:39:01 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5843
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
X-RFC2646: Format=Flowed; Original
Xref: g2news1.google.com comp.lang.ada:12816
Date: 2010-08-02T21:38:57-05:00
List-Id: <comp.lang.ada>

"Peter C. Chapin" <pcc482719@gmail.com> wrote in message 
news:4c4f5c28$0$2375$4d3efbfe@news.sover.net...
...
> Thanks for all the replies to my question. I want to emphasize that my
> interest is not so much in what is done by current compilers but rather
> what is allowed by the standard. Is the standard (even the latest
> standard) written in such a way as to make a shared implementation of
> generic bodies possible? It sounds like the answer is yes.

I have been very vigilant to preserve the ability for generic sharing in the 
Ada Standard. (It's something that would be very easy to lose because of 
some obscure combination of features.) I can't say for sure that I have kept 
every such case out of the Standard, but there is agreement that at least 
limited sharing (when the parameters are "similar enough") ought to be a 
permitted implementation. "Universal sharing" (where there only one body for 
each generic), as used in Janus/Ada, is more controversal (but is still 
allowed by Ada 2005).

                          Randy.