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,735c710b5e547bad X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.77.41 with SMTP id p9mr1130777paw.8.1343259563729; Wed, 25 Jul 2012 16:39:23 -0700 (PDT) MIME-Version: 1.0 Path: p10ni52925434pbh.1!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!weretis.net!feeder4.news.weretis.net!gandalf.srv.welterde.de!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada 2005 puzzle Date: Wed, 25 Jul 2012 18:39:20 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <1arp60wtxes8h$.1qs6bt732ztgp.dlg@40tude.net> <030cde76-7435-405d-9f12-ac7f730ecab8@googlegroups.com> <1f9q6vk5z2r3t$.1hayo9rmxfwu7$.dlg@40tude.net> <1agfifqlayl3y.1bp09z5i37ewk$.dlg@40tude.net> <1nnq1oprn6h4f.1s5myl3oupdds$.dlg@40tude.net> <57ed1bca-b503-492c-a3b1-012369484e93@googlegroups.com> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1343259562 11057 69.95.181.76 (25 Jul 2012 23:39:22 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Wed, 25 Jul 2012 23:39:22 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 X-Received-Bytes: 2237 Date: 2012-07-25T18:39:20-05:00 List-Id: "Dmitry A. Kazakov" wrote in message news:e3lpckmcck22$.eqnl4sn38ezy$.dlg@40tude.net... > On Mon, 23 Jul 2012 21:23:50 -0700 (PDT), Adam Beneschan wrote: ... > I repeat it again. It is not about any concrete example. It is about the > principle that constructing function would allow writing an aggregate for > a > derived type. Fine. Then report the *principle* to Ada-Comment, along with some examples where it doesn't work. As I said, we're not spending our time trolling for language bugs -- someone has to report them. And I'm not doing it for other anymore. If you don't care enough to report things to Ada-Comment, then we (the ARG) shouldn't care enough to look at changing them. We've got plenty of hard problems to work on as it is (and I'm sure will get more). Randy.