Re: Sharing generic bodies across instantiations.

["Randy Brukardt" <randy@rrsoftware.com>]

"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.