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 2002:a02:507:: with SMTP id e7-v6mr17837768jad.7.1541525990303; Tue, 06 Nov 2018 09:39:50 -0800 (PST) X-Received: by 2002:a9d:bd5:: with SMTP id 79mr24262oth.7.1541525989902; Tue, 06 Nov 2018 09:39:49 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g188-v6no289372itg.0!news-out.google.com!t123-v6ni80itb.0!nntp.google.com!g188-v6no289371itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 6 Nov 2018 09:39:49 -0800 (PST) In-Reply-To: <3342c624-59c2-4315-8433-a243e483a2e8@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=62.119.166.9; posting-account=6yLzewoAAABoisbSsCJH1SPMc9UrfXBH NNTP-Posting-Host: 62.119.166.9 References: <3342c624-59c2-4315-8433-a243e483a2e8@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Body mistaken for specs From: briot.emmanuel@gmail.com Injection-Date: Tue, 06 Nov 2018 17:39:50 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1601 X-Received-Body-CRC: 3927158005 Xref: reader02.eternal-september.org comp.lang.ada:54781 Date: 2018-11-06T09:39:49-08:00 List-Id: I had indeed a similar error with a compiler that was from 2017-06. I had reported that to AdaCore on 2018-05, and it was already fixed in the versions at the time. So it might indeed be fixed in the 2017 GPL version, but was buggy in 2016. It might also not have made it to a public version yet (I am a supported customer so get access to more recent versions) Emmanuel