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,79bbf7e359159d0d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-04-06 13:11:19 PST Path: supernews.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newsfeed.cwix.com!sjc-peer.news.verio.net!news.verio.net!sea-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: newbie can't get exceptions to work! In-Reply-To: Message-ID: References: <25%y6.2364$jz.201607@www.newsranger.com> <3ACDB29E.45B91316@earthlink.net> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Fri, 06 Apr 2001 20:11:10 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sea-read.news.verio.net 986587870 206.184.139.136 (Fri, 06 Apr 2001 20:11:10 GMT) NNTP-Posting-Date: Fri, 06 Apr 2001 20:11:10 GMT Organization: Verio Xref: supernews.google.com comp.lang.ada:6587 Date: 2001-04-06T20:11:10+00:00 List-Id: On Fri, 6 Apr 2001, Robert A Duff wrote: > "Marc A. Criley" writes: > > I was very pleased with the addition of "use type" to Ada 95, despite > > the opinion of a some that it's an ugly addition that was included > > merely to avoid having to write "renames" clauses for operators. Hmmm. I think it's ugly because it was included merely to avoid having to write use clauses. If you're a no-use fanatic, you should be content with not using use clauses, but no, use-phobes thinks it's OK as long as the infix syntax is used. So the language is butchered to handle this special case. > Not only do the renames clutter -- they are also quite error prone. > > Use type is better than nothing, Nah, no change would have been fine. The syntax is nicely messed up now. Once "with type" is part of the standard the mess will get messier, as we'll have with and use, with type and use type. > but even that adds one line of clutter. > IMHO, you should be able to refer to operators *anywhere*, without > having to say anything special. Why, what's so special about operators? Well, OK, Ada makes them a bit special by not allowing you to define new ones (an annoying restriction IMO) but they are just functions, right? > You don't have to say "use" in order to > write "X := Y"; ":=" is special. It's not a function, and you can't redefine it, except for very special types. Yes, I know you know all this :-). > why should you have to write "use" in order to write > "if X = Y ..."? "=" is also kind of special, right? Are you proposing that assignment and equality are both special enough that no use is necessary, or are you saying all operators should be exempt from being use (type)-ed? -- Brian