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,6f69b1cf0f02b9ac X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-02 14:46:58 PST Path: supernews.google.com!sn-xit-02!sn-xit-01!supernews.com!newsfeed.stanford.edu!news.isc.org!news.gnac.net!uunet!sac.uu.net!usenet.rational.com!not-for-mail From: "Mark Lundquist" Newsgroups: comp.lang.ada Subject: Re: Built-in types (was Re: How can I avoid Using a Semaphore? Date: Fri, 2 Feb 2001 14:03:18 -0800 Organization: Rational Software Message-ID: <95fbj3$nen$8@usenet.rational.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> <94fv9d$cjt$1@nnrp1.deja.com> <94g3tf$gb9$1@nnrp1.deja.com> <94hmgo$o2k$1@nnrp1.deja.com> <94hq56$rlv$1@nnrp1.deja.com> <94ifq8$uu$1@usenet.rational.com> <94km00$bv8$1@nnrp1.deja.com> NNTP-Posting-Host: ext-3074.rational.com X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2314.1300 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Xref: supernews.google.com comp.lang.ada:4889 Date: 2001-02-02T14:03:18-08:00 List-Id: Robert Dewar wrote in message news:94km00$bv8$1@nnrp1.deja.com... > In article <94ifq8$uu$1@usenet.rational.com>, > "Mark Lundquist" wrote: > > It's certainly no worse than Integer, but I'm not > > convinced that it's all *that* much better from the > > standpoint of > > portability, resilience to change etc. (remember, this is the > > case where I > > truly *don't* *care* about the unspecified properties). > > The point is that it emphasizes to the reader what is going on, > and indeed it is more portable than Integer, if for example, > the range is greater than 16 bits (remember that that is all > you can depend on from type Integer). If you need it to be "portable" in this aspect, then you do "care", and you should not use Integer which means "don't care". But I am talking about when you -- one more time :-) -- don't care. > > The trouble once again with using naked Integer is that I > cannot tell *why* you made this choice, and likely the reason > is just incompetence :-) Yeah, probably so :-) But I can't see how overspecification leaves the reader any less blind to the author's intent. How is the reader to distinguish specification of things you are depending on from that of things that you don't depend on? > > > > type that is fully specified, leaving nothing to the > > implementation-specific defaults. > > Such as the representation in bits, which can NOT be > specified??? Of course not. Read carefully, I said "leaving nothing to the implementation-specific *defaults*" (if you can't specify it, it's not a default, it's just implementation-specific). Once again, what are all the things that can be specified? I said what I thought after consulting the RM, and you said there were more things that I missed -- what are they? And in your standard technique, do you define all those things for your "My_Int"? If not, why not? > > > Why did you derive My_Int from Temp_Int, instead of defining > > it as you did Temp_Int? > > You completely missed the point of my declarations, have a look > at them again! The 'Base is the WHOLE POINT of these > declarations. So perhaps you want to look again, and perhaps > your comments were based on not understanding the technique > here (which for me is an absolutely standard one). That's just the thing, I don't understand the technique :-). I admit to being clueless about it, and I would like to have someone explain it to me. > > > type Temp_Int is range Integer'first .. Integer'last; > > That's pointless, it is just equivalent to > > type Temp_Int is new Integer; Yes, just as I thought... that's why I elaborated, I'm trying to figure out at what point you object to Integer -- is it just that the range is not nailed to the floor? Best Regards Mark Lundquist