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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.236.165.133 with SMTP id e5mr2995962yhl.31.1385042048725; Thu, 21 Nov 2013 05:54:08 -0800 (PST) X-Received: by 10.50.44.2 with SMTP id a2mr767575igm.6.1385042048676; Thu, 21 Nov 2013 05:54:08 -0800 (PST) Path: border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.glorb.com!i2no630698qav.0!news-out.google.com!9ni895qaf.0!nntp.google.com!i2no630691qav.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 21 Nov 2013 05:54:08 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=180.24.171.58; posting-account=Mi71UQoAAACnFhXo1NVxPlurinchtkIj NNTP-Posting-Host: 180.24.171.58 References: <523174ae-c1fc-40e0-a940-12f1665fa2fc@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Strange instantiation error with formal packages From: ytomino Injection-Date: Thu, 21 Nov 2013 13:54:08 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Original-Bytes: 2609 Xref: number.nntp.dca.giganews.com comp.lang.ada:183955 Date: 2013-11-21T05:54:08-08:00 List-Id: On Wednesday, November 20, 2013 12:45:37 AM UTC+9, Adam Beneschan wrote: > On Tuesday, November 19, 2013 7:08:09 AM UTC-8, AdaMagica wrote: >=20 > > Hm, the code looks OK. Unfortunatly I have no other compiler to try (ar= e there currently any others for Ada 2012?) > > > > I suggest writing a problem report. >=20 >=20 >=20 > It doesn't need to be an Ada 2012 compiler; this code has only Ada 95 fea= tures. I just tried it on a different compiler and it compiles fine; furth= ermore, I don't see any errors in the code. I don't believe that there wer= e any changes to Ada 2012 that would turn this kind of legal code into ille= gal code. (They try hard to maintain backward compatibility.) And in any = case, GNAT gets the same error in gnat2005 mode. So this definitely appear= s to be a compiler bug. >=20 > -- Adam Thank you AdaMagica and Adam. I tried it with -gnat95 and -gnat05, got same results, and reported it.=20 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D59234 (But I'm worried about gcc's bugzilla. I've seen several times that some bu= gs were reported into the bugzilla from comp.lang.ada. However, Does the m= ost part of them seem ignored? :-)