From: Simon Wright <simon@pushface.org>
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
Date: 2018-04-06T22:39:51+01:00 [thread overview]
Message-ID: <lylge0m2u0.fsf@pushface.org> (raw)
In-Reply-To: ed917c24-ddd1-4e7a-8fa4-241fc35592a8@googlegroups.com
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!)
next prev parent reply other threads:[~2018-04-06 21:39 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-06 17:20 Standard."-" provided to "with function "-" (VAL1 : in VALUE_TYPE) return VALUE_TYPE is <>;" refused: Mehdi Saada
2018-04-06 19:43 ` Simon Wright
2018-04-06 20:09 ` Mehdi Saada
2018-04-06 21:35 ` Simon Wright
2018-04-06 20:37 ` AdaMagica
2018-04-06 21:39 ` Simon Wright [this message]
2018-04-06 23:08 ` Mehdi Saada
2018-04-07 0:05 ` Mehdi Saada
2018-04-07 10:17 ` Mehdi Saada
2018-04-07 10:43 ` Mehdi Saada
2018-04-07 13:37 ` Mehdi Saada
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox