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,388fc53f584bd695
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news-1.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Fixed point constants issue
Date: Tue, 14 Sep 2010 08:39:44 +0300
Organization: Tidorum Ltd
Message-ID: <8f8g50F5vhU1@mid.individual.net>
References: <op.vizer4qnd20q5n@jellix.jlfencey.com>
 <1f0l0baynq1x7$.phl9cqpwcr37.dlg@40tude.net>
 <op.vizhg5ygd20q5n@jellix.jlfencey.com> <8f7b0nF6hfU1@mid.individual.net>
 <i6m1v2$e5b$1@adenine.netfront.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net 9geGYAxqHBRM7JEEX3arKAHsMrd0nx9x0bmHtyGHtlKtGcwEs5
Cancel-Lock: sha1:q4I72158UpM740sflyXgpmod3D0=
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328)
In-Reply-To: <i6m1v2$e5b$1@adenine.netfront.net>
Xref: g2news1.google.com comp.lang.ada:14066
Date: 2010-09-14T08:39:44+03:00
List-Id: <comp.lang.ada>

Jeffrey Carter wrote:
> On 09/13/2010 12:05 PM, Niklas Holsti wrote:
>>
>> The declaration of TEN_FEET_2 is an object declaration with type
>> Altitude, therefore the right-hand-side expression is expected to be of
>> type Altitude and so the "*" will be resolved to the Altitude
>> multiplication operator "*" (Left, Right : Altitude) return Altitude,
>> with result zero.
> 
> More likely,
> 
> function "*" (Left : in Integer; Right : in Altitude) return Altitude;

Yes, my typo, sorry.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .