From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Private/incomplete type differences...?
Date: 24 Oct 1994 11:45:42 -0400
Date: 1994-10-24T11:45:42-04:00 [thread overview]
Message-ID: <38gkr6$re4@gnat.cs.nyu.edu> (raw)
In-Reply-To: Cy6K8v.8xH@inmet.camb.inmet.com
Although GNAT was indeed right in this situation, everyone should be aware
that you can't trust GNAT 100% as an arbiter of language semantics. In
particular, there are still missing checks in GNAT (for example we are
not doing accessibility checks at all yet).
We are working away to complete the checking, and by all means report missing
checks as bugs, but it's worth reminding people that GNAT ain't complete yet!
parent reply other threads:[~1994-10-24 15:45 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <Cy6K8v.8xH@inmet.camb.inmet.com>]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox