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!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Standard."-" provided to "with function "-" (VAL1 : in
 VALUE_TYPE) return VALUE_TYPE is <>;" refused:
Date: Fri, 06 Apr 2018 22:39:51 +0100
Organization: A noiseless patient Spider
Message-ID: <lylge0m2u0.fsf@pushface.org>
References: <3c392f24-5b12-4290-9ec6-2dc986bb6530@googlegroups.com>
	<ed917c24-ddd1-4e7a-8fa4-241fc35592a8@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="12cd2f60293592c0a44d00711052c2b2";
	logging-data="14530"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX184Qa1CCEGe8elVX4SB+eCKVjPwc74sIB8="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:SUX952dAIEq4mHfKLcis/7+TPeo=
	sha1:kncC2bsELhi+0P1mayLpm2gGf48=
Xref: reader02.eternal-september.org comp.lang.ada:51364
Date: 2018-04-06T22:39:51+01:00
List-Id: <comp.lang.ada>

AdaMagica <christ-usch.grein@t-online.de> writes:

>> And putting "-" => Standard."-" "association not allowed for
>> overloaded formal"
>> 
>> ... Isn't able to choose the "-" with the right parameters number ?!
>
> The operators for Float in Standard are intrinsic. Guess this is the
> reason why.

No, the reason was that both binary and unary minus were included
(hence, "overloaded formals").

The signature package will work just fine leaving the operators to be
defaulted via the box <>, intrinsic or no, and it's much easier to let
the compiler do the heavy lifting (also, stops you supplying "-" for "+"
by accident!)