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: 
 backlog3.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin3!goblin2!goblin.stu.neva.ru!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: J Kimball <spam@example.com>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Fri, 04 Apr 2014 14:52:28 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lhn2ht$v5e$1@loke.gir.dk>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <2d62368c-9f64-49f3-98a8-5121d0c0fa23@googlegroups.com>
 <lhi4d5$c2s$1@loke.gir.dk> <lhi8cb$43o$2@dont-email.me>
 <1396504291.12566.134.camel@pascal.home.net> <lhiv0d$pab$1@dont-email.me>
 <1396545517.12456.30.camel@pascal.home.net> <lhkj4d$89k$1@loke.gir.dk>
 <lhkudj$28t$1@dont-email.me> <alpine.DEB.2.10.1404041018040.18152@debian>
NNTP-Posting-Host: wsip-70-184-216-60.om.om.cox.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: loke.gir.dk 1396641149 31918 70.184.216.60 (4 Apr 2014 19:52:29 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 4 Apr 2014 19:52:29 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:28.0) Gecko/20100101 Thunderbird/28.0
In-Reply-To: <alpine.DEB.2.10.1404041018040.18152@debian>
Xref: number.nntp.dca.giganews.com comp.lang.ada:185519
Date: 2014-04-04T14:52:28-05:00
List-Id: <comp.lang.ada>

On 04/04/2014 03:20 AM, Stefan.Lucks@uni-weimar.de wrote:
> On Thu, 3 Apr 2014, Jeffrey Carter wrote:
>
>> On 04/03/2014 02:17 PM, Randy Brukardt wrote:
>>>
>>> I : Unbounded_Integer := +1E1000;
>>>
>>> works today.
>>
>> I would like to see the definition of "+".
>
> Second!
>
> My understanding is that 1E1000 is of the pseudo-type Universal Integer, (or maybe Universal Float). But the "+" function cannot have an in-parameter of that type, so that *should* not work.
>
> Randy, please enlighten us!
>
> ------  I  love  the  taste  of  Cryptanalysis  in  the morning!  ------
>      <http://www.uni-weimar.de/cms/medien/mediensicherheit/home.html>
> --Stefan.Lucks (at) uni-weimar.de, Bauhaus-Universität Weimar, Germany--

On the other hand, using "+" operators in these ways obscures it's real meaning to people and often the compiler. In using a system that combines renames of language-defined and Templates Parser-defined conversion functions things can get rather hairy. Object names usually indicate what's being described, but rarely what type it is. A rich use of the type system makes using "+" boorish.