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!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Rough proposal to make some generic types static
Date: Mon, 21 Jul 2014 18:12:51 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lqk6pj$465$1@loke.gir.dk>
References: <lqju32$r3i$1@speranza.aioe.org>
 <45b2d813-f991-4c1c-b280-a1037bae8a66@googlegroups.com>
 <lqk1k5$3r1$1@speranza.aioe.org>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1405984372 4293 69.95.181.76 (21 Jul 2014 23:12:52 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Mon, 21 Jul 2014 23:12:52 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:21120
Date: 2014-07-21T18:12:51-05:00
List-Id: <comp.lang.ada>

"Victor Porton" <porton@narod.ru> wrote in message 
news:lqk1k5$3r1$1@speranza.aioe.org...
...
> I am not an expert in compiler optimization, but it looks anyway 
> impossible
> for me to make efficient shared code for formal scalar types of possibly
> different sizes.

(1) you're wrong, and (2) there's nothing in the Ada standard that requires 
code to be efficient! If there was, some constructs would be impossible (ATC 
comes to mind).

                        Randy.