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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9ce095aba33fe8d0
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news2.volia.net!newsfeed01.sul.t-online.de!t-online.de!newsfeed.vmunix.org!newsfeed.stueberl.de!uucp.gnuu.de!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Negative float problem
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.14.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <wccmzkwqabg.fsf@shell01.TheWorld.com>
 <NI-dnTOLqY64F_3eRVn-uQ@comcast.com> <wccmzkvrp6v.fsf@shell01.TheWorld.com>
 <djqqf5$nhn$1@sunnews.cern.ch> <wccoe5bc67l.fsf@shell01.TheWorld.com>
 <djsnpq$1oa$1@sunnews.cern.ch> <roxitrmok2qh.4do9qd40gtju$.dlg@40tude.net>
 <dk4p4u$f6d$1@sunnews.cern.ch> <10mspnley7gzu$.1swtj67sv0ldr$.dlg@40tude.net>
 <dk7i7b$qpp$1@sunnews.cern.ch> <wcc7jbslaxx.fsf@shell01.TheWorld.com>
 <dk80kl$9o$1@sunnews.cern.ch> <wccpspjlwp9.fsf@shell01.TheWorld.com>
 <avagn1dl22g6kvgfjgcv1plgq3km737a2o@4ax.com>
 <wcc3blsf9wr.fsf@shell01.TheWorld.com>
Date: Sun, 20 Nov 2005 12:07:20 +0100
Message-ID: <pvbr1qaqhvrl.1ufeui1kv5qrs$.dlg@40tude.net>
NNTP-Posting-Date: 20 Nov 2005 12:07:18 MET
NNTP-Posting-Host: 35a1e6e0.newsread2.arcor-online.net
X-Trace: 
 DXC=L@T\KEmfbb]\ODPOkW97AZQ5U85hF6f;TjW\KbG]kaMXA@_25la3nbRQ`EBjeV^H5U[6LHn;2LCV^[<mhadbfdU[QZYXX1<0V8S
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:6498
Date: 2005-11-20T12:07:18+01:00
List-Id: <comp.lang.ada>

On 19 Nov 2005 19:19:32 -0500, Robert A Duff wrote:

> No, C++ and Ada are completely different in this regard: In C++, the
> literal itself determines its type (the value, plus the presence of
> "L"), as you explained above.  In Ada, the _context_ determines the type
> of the literal.

Right. There could be two different ways to describe what's going on. One
is to say that all literals overload each other (as if they were
functions.) Another is to create a common ancestor type for homographs and
overload conversions from them (Universal_Integer, is an example.) Ada uses
both and both require the context.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de