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 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.bbs-scene.org!weretis.net!feeder4.news.weretis.net!zen.net.uk!dedekind.zen.co.uk!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Strange instantiation error with formal packages Date: Tue, 19 Nov 2013 21:14:32 +0100 Organization: cbb software GmbH Message-ID: References: <523174ae-c1fc-40e0-a940-12f1665fa2fc@googlegroups.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: Ws8cDh6KC0dYMbHlsA0RIw.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 X-Original-Bytes: 1831 Xref: number.nntp.dca.giganews.com comp.lang.ada:183936 Date: 2013-11-19T21:14:32+01:00 List-Id: On Tue, 19 Nov 2013 07:45:37 -0800 (PST), Adam Beneschan wrote: > And in any case, GNAT gets the same error in gnat2005 mode. So this > definitely appears to be a compiler bug. 4.8 appears to be more buggy than 4.7. It introduced new bugs in inherited operations and generics (always generics). The OP could try switching back to 4.7 or 4.6. P.S. Some bugs vanish when dotted notation is replaced with functional call. E.g. F (X.all, Y) instead of X.F (Y) When X is a class-wide access type. It would be nice if AdaCore improved diagnostics on compiler crash (when GNAT BUG DETECTED box pops up). One method of working GNAT bugs around is to comment out everything until the compiler stops crashing in order to find the offending place. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de