From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Elaboration of nested packages.
Date: 1997/06/22
Date: 1997-06-22T00:00:00+00:00 [thread overview]
Message-ID: <dewar.866984610@merv> (raw)
In-Reply-To: gJzYpGAPvGrzEwpv@marnhull.demon.co.uk
Bill Keen said (of missing elaboration checks for generic instantiations)
<<Hide it in one layer of package and it can't see the problem.>>
The ACVC tests are surprisingly weak in this area. We encountered some tests
in the DEC test suite (which is much more thorough than the ACVC suite in
some areas) and realized that early versions of GNAT had a big gap in this
checking requirement, and then looked back, and were surprised to find ZERO
tests in the ACVC suite for this.
GNAT 3.10 generates the correct tests in all cases, but it is no surprise
to me that this is a weak area, given the lack of ACVC tests. I do not know
if ACVC suite 2.1 corrects this deficiency or not.
Robert Dewar
Ada Core Technologies
prev parent reply other threads:[~1997-06-22 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-06-18 0:00 Elaboration of nested packages Bill Keen
1997-06-19 0:00 ` Robert A Duff
1997-06-20 0:00 ` Robert Dewar
1997-06-22 0:00 ` Bill Keen
1997-06-22 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox