On Tue, 16 Dec 2014, Randy Brukardt wrote:

> Indeed, no Ada compiler has ever actually implemented correct 
> accessibility checking for Ada 2005 or later.

Could you envision the ARG to drop anonymous access parameters, or at 
least severely restrict their usage, in the next language revision?

If a language feature has not yet been properly implemented, you don't 
break working code by dropping this feature.

------  I  love  the  taste  of  Cryptanalysis  in  the morning!  ------
     <http://www.uni-weimar.de/cms/medien/mediensicherheit/home.html>
--Stefan.Lucks (at) uni-weimar.de, Bauhaus-Universität Weimar, Germany--