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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,7009ff26a584c028 X-Google-Attributes: gid103376,public Path: g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Fri, 11 Jun 2004 22:40:55 -0500 Date: Fri, 11 Jun 2004 23:40:55 -0400 From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Dimensions and fixed point types References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.147.90.114 X-Trace: sv3-AHRHys8m8r0fZlEN039gU49hA0+4DaubtD2AKyv7hDTYi5IJbr3c7OZ8XhHFOY3BJo5Ua4Z6w2jcSrc!a4MLy7InT2WdEgF4m0rbqND8USie82DNAAoXQdoV4T4IcOfBX0OGoOIWprOTQw== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: g2news1.google.com comp.lang.ada:1414 Date: 2004-06-11T23:40:55-04:00 List-Id: Duncan Sands wrote: > There is no contradiction. Not saying X is not the same > as saying not X. However from a practical point of view, > any proposal to not have multiplication be auto-defined > between fixed point numbers of the same type would > never be accepted, since such multiplication is defined > in the case of integer and floating point types. So I didn't > propose it. That doesn't mean I think that auto-defining > such multiplication is a good idea. In many contexts > multiplying two numbers of the same type makes no sense. I have to agree with Hyman on this one. In Ada 83 and Ada 95 multiplication (or division) of a fixed-point parameter by Integer is predefined, but there is no "function "*" (L,R: _T_) return _T_" as there is for integer and floating-point types. So such multiplication is not now "auto-defined". There is the operation returning _universal_fixed_, and I agree that it would have been nice if it did not have global visibility. Maybe it should be put in a package within Standard so that you have to use prefix notation or a use clause if you want to use it. The operation is necessary so that users can define needed operations. The original visibility wasn't bad, it is the added Ada 95 visibility that is a mistake. The current position being discussed is a compromise. It will make some legal Ada 95 programs illegal, but only silly ones. -- Robert I. Eachus The ideology he opposed throughout his political life insisted that history was moved by impersonal tides and unalterable fates. Ronald Reagan believed instead in the courage and triumph of free men and we believe it all the more because we saw that courage in him. -- George W. Bush June 11, 2004