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.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,18f7f6e041b3e0bf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-15 14:55:04 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fr.usenet-edu.net!usenet-edu.net!enst.fr!not-for-mail From: "Robert C. Leif" Newsgroups: comp.lang.ada Subject: Decimal Floating point was RE: Information Systems Annex was RE: Dispatching and generics - language lawyer question Date: Thu, 15 Aug 2002 14:54:09 -0700 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1029448503 94243 137.194.161.2 (15 Aug 2002 21:55:03 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Thu, 15 Aug 2002 21:55:03 +0000 (UTC) Return-Path: X-Envelope-From: rleif@rleif.com X-Envelope-To: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.3416 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Importance: Normal In-Reply-To: <5ee5b646.0208150131.7c03036d@posting.google.com> Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.12 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:28079 Date: 2002-08-15T14:54:09-07:00 From: Bob Leif To: Robert Dewar et al. Since intermediate values in a calculation how a low frequency of being printed out, the simplest solution to digits is to leave it at a fixed value, which will usually be the maximum number of digits allowed. This simplifies the use of precompiled datatypes. Only one for each value of digits needs to be created. Since Ada has a function Ada.Unchecked_Conversion(S : Source) return Target; she does permit a change in types. In the case of the delta, I am proposing what I hope is much less extreme. I want to tell the compiler to accept a non-static number as a static number. Since this is not a type change but the change of a property of a type, I do not know how to do this? -----Original Message----- From: comp.lang.ada-admin@ada.eu.org [mailto:comp.lang.ada-admin@ada.eu.org] On Behalf Of Robert Dewar Sent: Thursday, August 15, 2002 2:32 AM To: comp.lang.ada@ada.eu.org Subject: Re: Information Systems Annex was RE: Dispatching and generics - language lawyer question "Robert C. Leif" wrote in message news:... > Since virtually all of these decimal types will be > intermediates in a > calculation, they could all have the same number of > digits. I really have no idea what the above means. > The delta is > the problem. Ditto > My crude workaround was to turn a non-static number into > a static number by either a pragma or a method. And double ditto here. Robert please explain at least vaguely what you have in mind. What on earth does it mean to turn a non-static number into a static number. You are certainly not using the term static in the Ada sense, or in any other common sense that I can guess. > However, I would be happy > with a decimal floating type. This seems to be of very marginal use to me. Certainly not something to build into the language. If you need such a facility, just program it, that's easy enough, Yes, it will be inefficient, but no more or less inefficient than if it is put in the language, since obviously no machines support this at the hardware level, and all the compiler would do is call runtime routines anyway. So all you are talking about here is a minor bit of syntactic convenience for a feature with very limited use. Hardly a good candidate for a language extension.