From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: type is access cf type is access all?
Date: 24 Jan 1995 09:32:45 -0500
Date: 1995-01-24T09:32:45-05:00 [thread overview]
Message-ID: <3g332d$jpp@gnat.cs.nyu.edu> (raw)
In-Reply-To: 1995Jan20.114005.8916@vax.sbu.ac.uk
A check of this idea with GNAT ...
We are flattered that when you find a discrepancy between the RM and GNAT
you worry who is right, but I really think you should assume it is the
RM in all cases :-)
In particular, GNAT has only recently implemented the check that disallows
the use of 'Access to produce pool specific access types. Version 2.01
to be released very shortly we hope (next day or two), has this check,
with error messages that point out the need to use ALL.
next prev parent reply other threads:[~1995-01-24 14:32 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-01-20 11:40 type is access cf type is access all? fintan
1995-01-24 14:32 ` Robert Dewar [this message]
1995-01-24 15:55 ` Michael Feldman
1995-01-24 18:36 ` Tucker Taft
1995-01-25 21:27 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox