From: Simon Wright <simon@pushface.org>
Subject: Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)
Date: Tue, 26 Nov 2019 18:01:51 +0000
Date: 2019-11-26T18:01:51+00:00 [thread overview]
Message-ID: <lytv6qldo0.fsf@pushface.org> (raw)
In-Reply-To: a72818f2-c0c7-4db9-8099-59c0390b55f5@googlegroups.com
gerrshapovalov@gmail.com writes:
> ACT apparently has their own tracker, but it is only for people who
> have subscription to their product.. (Why not open the issues to be at
> least visible to all? Maybe even let add simple comments - ACT would
> benefit from this feedback too..)
They've been AdaCore for quite a while now!
When I was working for a supported customer, we only got to see the
tracker issues for our own project, not even other projects for the same
multi-project customer!
Ours was a classified project, but even for non-classified projects we
would have been able to upload whatever code of ours was causing the
problem, without having to edit it down to a minimal reproducer. *Not*
the sort of thing you'd want your competition to see.
next prev parent reply other threads:[~2019-11-26 18:01 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-22 13:26 yes another gnat bug (inherited tagged type as record field is too much for gnat??) gerrshapovalov
2019-11-22 13:33 ` gerrshapovalov
2019-11-22 13:39 ` Simon Wright
2019-11-22 13:57 ` gerrshapovalov
2019-11-25 19:31 ` gerrshapovalov
2019-11-25 20:01 ` Per Sandberg
2019-11-26 13:49 ` gerrshapovalov
2019-11-26 16:09 ` joakimds
2019-11-26 17:09 ` gerrshapovalov
2019-11-26 18:01 ` Simon Wright [this message]
2019-12-02 9:02 ` George Shapovalov
2019-12-02 10:02 ` joakimds
2019-12-02 17:12 ` Optikos
2019-12-02 17:50 ` AdaMagica
2019-12-02 19:51 ` George Shapovalov
2019-12-02 20:18 ` Simon Wright
2019-12-02 21:02 ` Optikos
2019-12-09 13:44 ` charlet
2019-12-10 12:12 ` charlet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox