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=ham 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!news1.google.com!newsread.com!news-xfer.newsread.com!news-feed01.roc.ny.frontiernet.net!nntp.frontiernet.net!newscon06.news.prodigy.com!prodigy.net!newsfeed.cw.net!news-FFM2.ecrc.de!newsfeed00.sul.t-online.de!t-online.de!irazu.switch.ch!news-zh.switch.ch!switch.ch!cernne03.cern.ch!cern.ch!news From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: Negative float problem Date: Thu, 27 Oct 2005 17:07:18 +0200 Organization: CERN - European Laboratory for Particle Physics Message-ID: References: <1130351574.313991.229420@g14g2000cwa.googlegroups.com> NNTP-Posting-Host: abpc10883.cern.ch Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: sunnews.cern.ch 1130425637 24119 (None) 137.138.37.241 X-Complaints-To: news@sunnews.cern.ch User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050922 Red Hat/1.7.12-1.1.3.2.SL3 X-Accept-Language: en-us, en In-Reply-To: Xref: g2news1.google.com comp.lang.ada:5994 Date: 2005-10-27T17:07:18+02:00 List-Id: Robert A Duff wrote: > The problem here is that you don't want > to rename anything, so using "renames" is overkill. The thing is still > called "-" -- you don't want to rename it, you want to import it with > the same name it always had. Ada has no such feature. What about Argument-Dependent Lookup (C++ has it)? The file1 package was "withed", which makes the type accessible. If the compiler is smart enough to figure out the expected type of literal, then it should be also smart enough to look up any operators (and why not other operations as well?) that are used together with the literal in the package from which the expected type come from. That would provide the "expected" functionality. I'm really surprised that the code posted at the beginning of this thread does not compile. I'm pretty sure that something like ADL was considered for Ada, but apparently rejected. What was the reason? -- Maciej Sobczak : http://www.msobczak.com/ Programming : http://www.msobczak.com/prog/