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: a07f3367d7,545a08a159900a97 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada 95 and Class attribute for none-tagged incomplete type Date: Fri, 14 Aug 2009 18:41:22 -0500 Organization: Jacob Sparre Andersen Message-ID: References: <8442c52d-805f-4ca8-95ab-b4c8e949d7cd@k6g2000yqn.googlegroups.com> <17b5de2e-74df-414a-b214-677344dc697e@x25g2000prf.googlegroups.com> <4a83cc73$0$6272$4f793bc4@news.tdc.fi> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1250293351 18294 69.95.181.76 (14 Aug 2009 23:42:31 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Fri, 14 Aug 2009 23:42:31 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5512 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579 Xref: g2news2.google.com comp.lang.ada:7808 Date: 2009-08-14T18:41:22-05:00 List-Id: "Robert A Duff" wrote in message news:wcc3a7uusn8.fsf@shell01.TheWorld.com... > "Randy Brukardt" writes: > >>...All this special rule eliminates is the need to declare >> an incomplete type in this one unusual case (the private type in cases >> like >> this is best declared as tagged, so this shouldn't happen very often). >> Seems >> like a pile of work for an implementation and for the language just to >> eliminate one line in a private part. > > The problem is that declaring that incomplete type is illegal. > Eliminating the need for one _illegal_ line isn't such a bad thing. ;-) Why is it illegal? Doesn't seem like it ought to be on the face of it. ... > We could have made it legal, I suppose. But having three views of a > type might make more trouble for the compiler than the existing > rules. Apparently, you haven't thought to hard about the semantics of limited views. :-) *Every* private type that can be used in a limited view has (at least) three views (the incomplete view from the limited view being the third). I believe we (Tucker and I? On the ARG list? I don't remember) were discussing eliminating some of the restrictions on the declaration and completion of incomplete types in order to make the use of "incomplete instances" or "intgregated packages" or whatever we end up with more useful. (Many of the "derivation" problems go away if you can simply declare an incomplete type ahead of time to introduce the proper name for the type.) Randy.