From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Strange instantiation error with formal packages
Date: Tue, 19 Nov 2013 21:14:32 +0100
Date: 2013-11-19T21:14:32+01:00 [thread overview]
Message-ID: <riret6e8flom.1hq7lgea7g9ep.dlg@40tude.net> (raw)
In-Reply-To: d6c49c80-b4bd-4ff3-bdb4-8e289639a6bb@googlegroups.com
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
next prev parent reply other threads:[~2013-11-19 20:14 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-19 5:57 Strange instantiation error with formal packages ytomino
2013-11-19 15:08 ` AdaMagica
2013-11-19 15:45 ` Adam Beneschan
2013-11-19 20:14 ` Dmitry A. Kazakov [this message]
2013-11-21 14:05 ` ytomino
2013-11-21 13:54 ` ytomino
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox