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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,6f69b1cf0f02b9ac X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-21 16:51:26 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!falcon.america.net!newspump.monmouth.com!newspeer.monmouth.com!nntp.msen.com!newsxfer.eecs.umich.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: mark_lundquist@my-deja.com Newsgroups: comp.lang.ada Subject: Built-in types (was Re: How can I avoid Using a Semaphore? Date: Mon, 22 Jan 2001 00:35:58 GMT Organization: Deja.com Message-ID: <94fv9d$cjt$1@nnrp1.deja.com> References: <93ti8b$bjpps$1@ID-25716.news.dfncis.de> <9BP86.270637$U46.8654942@news1.sttls1.wa.home.com> <94563n$cb6kp$1@ID-25716.news.dfncis.de> <0Cka6.290338$U46.9207275@news1.sttls1.wa.home.com> <94co6t$v27$1@nnrp1.deja.com> <94f1a8$k9r$1@nnrp1.deja.com> NNTP-Posting-Host: 24.20.66.39 X-Article-Creation-Date: Mon Jan 22 00:35:58 2001 GMT X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 5.01; Windows NT; MSOCD) X-Http-Proxy: 1.1 x72.deja.com:80 (Squid/1.1.22) for client 24.20.66.39 X-MyDeja-Info: XMYDJUIDmark_lundquist Xref: supernews.google.com comp.lang.ada:4287 Date: 2001-01-22T00:35:58+00:00 List-Id: In article <94f1a8$k9r$1@nnrp1.deja.com>, Robert Dewar wrote: > > Carefully written Ada programs should > not use the built-in types in any case. > That seems a little broad... When a careful Ada programmer writes 'Integer', he's saying that he understands the things about Integer that are implementation-defined and that those things are "don't cares" for him in this instance. It's not careless to say that and mean it. Need I elaborate? (I don't feel like a lot of typing this afternoon :-) -- mark Sent via Deja.com http://www.deja.com/