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!border1.nntp.dca.giganews.com!nntp.giganews.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread3.news.pas.earthlink.net.POSTED!a6202946!not-for-mail From: "Jeffrey R. Carter" Organization: jrcarter at acm dot org User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.12) Gecko/20050915 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Negative float problem References: <1130351574.313991.229420@g14g2000cwa.googlegroups.com> <10mspnley7gzu$.1swtj67sv0ldr$.dlg@40tude.net> <38tcpxwxfigo$.18ysjyp9ml92c$.dlg@40tude.net> <2ybc7t4au7g$.166dxwfrds1so$.dlg@40tude.net> <18nrnlg9zzl5a.k8rl3ajwauqi.dlg@40tude.net> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Wed, 02 Nov 2005 20:15:30 GMT NNTP-Posting-Host: 67.3.217.114 X-Complaints-To: abuse@earthlink.net X-Trace: newsread3.news.pas.earthlink.net 1130962530 67.3.217.114 (Wed, 02 Nov 2005 12:15:30 PST) NNTP-Posting-Date: Wed, 02 Nov 2005 12:15:30 PST Xref: g2news1.google.com comp.lang.ada:6132 Date: 2005-11-02T20:15:30+00:00 List-Id: Jean-Pierre Rosen wrote: > Since you are new to Ada, there is something that you must understand. > The Ada language has been designed in such a way that either a construct > always works, and works the same with every implementation, or does not > compile. There is no space for "sometimes", "maybe", "depends", and > other things like that that are common in other languages. Mostly. There are a number of "implementation defined" parts of the language. What's the range of type Integer? At least that of a 16-bit signed twos-complement integer, but often more. Luckily, you can define your own integer types that match your application's needs, and not have to rely on the predefined numeric types, as you have to do in most other languages. SPARK gets rid of most implementation-defined things, but type Integer is still in there ... -- Jeff Carter "My legs are gray, my ears are gnarled, my eyes are old and bent." Monty Python's Life of Brian 81