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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3dbf2f325f33ce35 X-Google-Attributes: gid103376,public From: Brian Rogoff Subject: Re: Elimination of "use" clauses Date: 1999/07/20 Message-ID: #1/1 X-Deja-AN: 503361137 References: <377B5807.88B875E0@cs.york.ac.uk> <7lh74s$v36$1@nnrp1.deja.com> <7ligdq$c8q$1@nnrp1.deja.com> <7ljb4e$na9$1@nnrp1.deja.com> <7ltus1$ah1@dfw-ixnews19.ix.netcom.com> <7mrjus$bet@dfw-ixnews14.ix.netcom.com> <7n0icj$1je@dfw-ixnews21.ix.netcom.com> <7n0ska$h20$1@nnrp1.deja.com> Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: nntp1.ba.best.com 932521899 222 bpr@206.184.139.136 MIME-Version: 1.0 Newsgroups: comp.lang.ada Date: 1999-07-20T00:00:00+00:00 List-Id: On Tue, 20 Jul 1999, Robert Dewar wrote: > In article > I still really dislike "use type". > > Why? You have not clearly stated a reason for this dislike! They are unnecessary, add no expressive power to Ada, and will look really ugly if (when?) "with type" is added to fix the mutually recursive package spec problem. I find the idea of "special casing" the operators inelegant; if anything I'd prefer that operators and functions were more alike and that one could define new infix operators. > And I certainly have not seen any satisfactory substitute > proposed! Regular "use" clauses, inside of declarative regions to limit their scope if one is worried about not being able to tell where a definition comes from. I am not a use-phobe, though I understand that one should be careful with use clauses (and aliasing, and overloading, and access types, etc.) -- Brian