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!gegeweb.org!news.ecp.fr!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: Functions vs constants
Date: Fri, 25 Jul 2014 14:31:06 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lqub9q$3in$1@loke.gir.dk>
References: <lqk032$9h$1@speranza.aioe.org> <c35fbuF747qU1@mid.individual.net>
 <lqk7cp$4eu$1@loke.gir.dk> <cso9nzjs6q5q$.16o96j9yv70q1$.dlg@40tude.net>
 <lqmnbr$j13$1@loke.gir.dk> <lqoab0$bnm$1@dont-email.me>
 <lqpc07$d05$1@loke.gir.dk> <lqqg0v$8t6$1@dont-email.me>
 <lqso1d$al7$1@loke.gir.dk> <lqsueh$q0v$1@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1406316666 3671 69.95.181.76 (25 Jul 2014 19:31:06 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 25 Jul 2014 19:31:06 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:21221
Date: 2014-07-25T14:31:06-05:00
List-Id: <comp.lang.ada>

"Georg Bauhaus" <bauhaus@futureapps.invalid> wrote in message 
news:lqsueh$q0v$1@dont-email.me...
> On 25/07/14 06:56, Randy Brukardt wrote:
...
>> In what sense is Put for a
>> String overriding Put for a Float? Dmitry covered this ground pretty well 
>> in
>> his response.
>
> His answer includes, actually, that for Put you need non-Ada only
> if the file argument should be included in dispatching. Any Float
> or String arguments could be passed to an overridden version of Put
> determined statically.

Huh? "overriding" only works for related types. In what universe are Float 
and String related? They have almost no common operations. "overloading" 
(which you don't want to use) works for any types, including unrelated ones.

                             Randy.