Re: Interresting difference in Normal-Returns/Expression-Functions and Extended-Returns.

[Adam Beneschan <adam@irvine.com>]

On Wednesday, May 1, 2013 7:28:38 PM UTC-7, Randy Brukardt wrote:

> >The language here may be a bit sloppy, since for an anonymous access
> >type, I'm not sure there's any such thing as "the declaration of
> >... [a] given access type".
> 
> Wow, I think we've missed this Adam for a while! I'm pretty sure there is 
> wording somewhere that says that where an anonymous access type is declared, 

Well, 3.1(5) says "A declaration is a language construct that associates a name with (a view of) an entity".  But for an anonymous access type, there's no name.  
So based on that, there's no declaration.  (If there were some other language that indicated what the "declaration" of an anonymous access type is, I'd expect to find it in 3.10, but I don't see it there.)

I think this just bolsters my view that 9.3(2), which was pretty much written when there were no anonymous access types, needs updating.

                             -- Adam