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: 103376,2ff5c149712ec0eb X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!proxad.net!proxad.net!feeder1-1.proxad.net!oleane.net!oleane!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada Interfaces and the Liskov Substitution Principle Date: Wed, 23 May 2007 17:00:51 -0500 Organization: Jacob's private Usenet server Message-ID: References: <871wh7i8lq.fsf@ludovic-brenta.org> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: jacob-sparre.dk 1179957533 15958 69.95.181.76 (23 May 2007 21:58:53 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Wed, 23 May 2007 21:58:53 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1807 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1807 Xref: g2news1.google.com comp.lang.ada:15895 Date: 2007-05-23T17:00:51-05:00 List-Id: "Ludovic Brenta" wrote in message news:871wh7i8lq.fsf@ludovic-brenta.org... > Stefan Lucks writes: ... > > What do you guys think about this? > > I think the declaration of Stepchild.Object is illegal because ARM > 3.9.4(12/2) states: "A type derived from a nonlimited interface shall > be nonlimited." Right. The most general type of interface is a limited interface; every interface should be declared limited if possible. (We didn't make that the default solely because it would be inconsistent with the rest of the language.) And if it is not possible to declare the interface limited (as in the example), then all types that include it must be nonlimited. At least interfaces don't have the rather limiting rule that regular tagged types do, where the limitedness can't be changed at all. Randy.