From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT doing macro-expansion? (Pre/Post conditions)
Date: Wed, 24 Oct 2012 19:53:50 +0100
Date: 2012-10-24T19:53:50+01:00 [thread overview]
Message-ID: <ly1ugnsnup.fsf@pushface.org> (raw)
In-Reply-To: op.wmo4zetjule2fv@cardamome
"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> But I'm not an AdaCore client, so I believe this would be useless.
If you don't send the bug report, and it's one that their customers
haven't come across, then it won't get fixed.
AdaCore _do_ take note of bugs filed by unsupported customers, but I'd
think this is much more likely to happen for good bug reports (that is,
with a clear statement of what you expected to happen, what actually
happened, and a reproducer).
next prev parent reply other threads:[~2012-10-24 18:53 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-18 23:44 GNAT doing macro‑expansion for generics? (Pre/Post conditions) Yannick Duchêne (Hibou57)
2012-10-19 0:08 ` GNAT doing macro‑expansion? " Yannick Duchêne (Hibou57)
2012-10-24 16:40 ` Yannick Duchêne (Hibou57)
2012-10-24 16:45 ` Yannick Duchêne (Hibou57)
2012-10-24 17:20 ` Yannick Duchêne (Hibou57)
2012-10-24 18:16 ` GNAT doing macro-expansion? " Anh Vo
2012-10-24 18:43 ` Yannick Duchêne (Hibou57)
2012-10-24 18:53 ` Simon Wright [this message]
2012-10-24 19:02 ` Yannick Duchêne (Hibou57)
2012-10-24 21:43 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox