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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,115bda8caeda5fa4 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.66.161 with SMTP id g1mr317698pbt.10.1315931718159; Tue, 13 Sep 2011 09:35:18 -0700 (PDT) Path: m9ni5487pbd.0!nntp.google.com!news1.google.com!feed-C.news.volia.net!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!news2.arglkargh.de!news.mixmin.net!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Does GNAT support a thread-free RTS? Date: Tue, 13 Sep 2011 18:35:09 +0200 Organization: cbb software GmbH Message-ID: References: <4e6f24c4$0$7629$9b4e6d93@newsspool1.arcor-online.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: k+JjK3i4fA13LxN8ARy/Fg.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news1.google.com comp.lang.ada:17947 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Date: 2011-09-13T18:35:09+02:00 List-Id: On Tue, 13 Sep 2011 10:02:12 -0400, Robert A Duff wrote: > "Dmitry A. Kazakov" writes: > >> Protected objects are not tagged, ... > > Protected types are tagged if they are derived from synchronized interfaces. Effectively not, for design purpose they should be usable as parent types to derive from, protected operations has to be primitive. An inability to push implementations down the hierarchy (which is also the case for Ada's MI) poses a huge problem for the designer and for the end users. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de