Re: Extending discriminant types

[Stefan Bellon <bellon@software-erosion.org>]

On Fri, 21 Nov, anon wrote:

> This type of statement works with GNAT-3.15p, even in GNAT-3.01 as 
> well as GNAT-3.12. All which are GNAT compilers that use the Ada 95 
> specification.  That's just too many compilers and programmers
> testing for Adacore over a period of 5 to 10 years to be a design
> flaw in one version of a compiler.  And that does not include the
> 100s to 1000s of GCC people and students with the general public
> added in that have tested possible every combination of every type of
> statement (may be to general but you get the idea). The odds that
> this type of statement not being found until now and at least written
> up, is astronautical. 

Are you trying to say that GNAT 3.15p must have been a BUG FREE
compiler because lots of people have used it for a very long time, so
that each possible combination of statements MUST HAVE been encountered
by someone?

Are you serious? You know that it just takes someone to name one known
bug in GNAT 3.15p to prove you wrong?

I once reported two bugs related to negation on a value of a private
type whose full view is a modular type (and then either producing wrong
results or crashing GNAT depending whether the modulus was a basis of
two or not). That was with GNAT 5.04. You could argue that those kind
of problems must have been spotted years ago, but fact is, they weren't.

-- 
Stefan Bellon