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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,18f7f6e041b3e0bf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-14 01:55:15 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed-east.nntpserver.com!nntpserver.com!feed.cgocable.net!news.stealth.net!news.stealth.net!newspeer.cts.com!galanthis.cts.com!127.0.0.1.MISMATCH!not-for-mail Sender: kst@king.cts.com Newsgroups: comp.lang.ada Subject: Re: Information Systems Annex was RE: Dispatching and generics - language lawyer question References: From: Keith Thompson Date: 14 Aug 2002 01:52:56 -0700 Message-ID: X-Newsreader: Gnus v5.7/Emacs 20.7 NNTP-Posting-Host: 209.68.192.180 X-Trace: 1029315177 nntp.cts.com 319 209.68.192.180 Xref: archiver1.google.com comp.lang.ada:28010 Date: 2002-08-14T01:52:56-07:00 List-Id: "Robert C. Leif" writes: > From: Bob Leif > To: Keith Thompson et al. > I would be happy with a decimal floating-point; but, would gladly settle > for a less elegant work-around. > > Since I have never worked with binary fixed-point types, please forgive > a naive question. Would the same capacity to create types with exponents > at run-time be of any use or is this equivalent to floating-point? I don't understand what kind of less elegant workaround you have in mind. I understand (I think) that you want an exponent value (or, nearly equivalently, the position of the decimal point) to be determined at run time. If you want it to vary for each object, I think you're talking about floating-point. If you just want a non-static but constant value determined when the type is created, that's something else. Here's an example from the RM: type Money is delta 0.01 digits 15; The delta and digits values must both be static expressions. Are you saying you want one or both of them to be non-static? -- Keith Thompson (The_Other_Keith) kst@cts.com San Diego Supercomputer Center <*> Schroedinger does Shakespeare: "To be *and* not to be"