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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,9fb8e2af320d5b3e X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!c77g2000hse.googlegroups.com!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: Bus error Date: Wed, 27 Jun 2007 10:19:08 -0700 Organization: http://groups.google.com Message-ID: <1182964748.689146.52490@c77g2000hse.googlegroups.com> References: <1182954233.788124.17920@c77g2000hse.googlegroups.com> <1182959120.13096.8.camel@kartoffel> NNTP-Posting-Host: 85.3.115.116 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: posting.google.com 1182964748 21408 127.0.0.1 (27 Jun 2007 17:19:08 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 27 Jun 2007 17:19:08 +0000 (UTC) In-Reply-To: <1182959120.13096.8.camel@kartoffel> User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; en-US; rv:1.8.1.4) Gecko/20070515 Firefox/2.0.0.4,gzip(gfe),gzip(gfe) Complaints-To: groups-abuse@google.com Injection-Info: c77g2000hse.googlegroups.com; posting-host=85.3.115.116; posting-account=Ch8E9Q0AAAA7lJxCsphg7hBNIsMsP4AE Xref: g2news1.google.com comp.lang.ada:16322 Date: 2007-06-27T10:19:08-07:00 List-Id: On 27 Cze, 17:45, Georg Bauhaus wrote: > > -- a.ads > > with Ada.Finalization; > > package A is > > > type T is tagged limited private; > > > function Make return T; > > As it happens, the masters--who are probably all in Geneva now-- > have been discussing a related issue on Ada_Comment. > The archives might have some hints. Google group search does not find anything. And yes, Geneva is a good place for discussing Ada now, although it's a bit rainy this week. ;-) > (Do you get a different effect when you try compiling > with -O -g -a -gnata -gnato?) Yes, there is a difference - it took me longer to type the commands before I got bus error... > Procedure Make should be fine as the object returned is to be > built in place. (As per Bob Duff's "gems" on limited aggregates > and other sources.) Except that those gems don't tell much about extension aggregates and even less about limited controlled. BTW - is it necessary to reveal in the public view that the type is tagged? It is tagged only so that it can be controlled and since this is implementation detail, it should be private together with the extension. I cannot check it, because this time I get the explicit "GNAT BUG DETECTED". Ideally, the public view should look like this: type T (<>) is limited private; With the private view unchanged. Is it possible? (assuming good compiler) -- Maciej Sobczak http://www.msobczak.com/