entries and access parameters

["Alex R. Mosteo" <devnull@mailinator.com>]

Hello, 

I'm trying to find in the 95 rationale the explanation for this point

http://www.adahome.com/rm95/rm9x-09-05-02.html

(13) An entry_declaration in a task declaration shall not contain a
specification for an access parameter (See 3.10)

3.10 is simply the section on access types and no mention of entries is
made. 

I'm curious about that prohibition, mainly to know if workarounding it with
a type like

type Obj_Access is access all ...

is legal or will give further problems. Gnat compiles these without problem.

I've failed to find anything in the rationale (though I have remembrances of
having read something about this in the past relating to accessibility
checks being the problem). I've found, however, this paragraph in a doc
about Gnat Runtime:

"The entry declaration must be placed inside the task specification. (...)
Access parameters are not permitted, though parameters of any access type
are, of course, allowed."
http://www.iuma.ulpgc.es/users/jmiranda/gnat-rts/node21.htm

So I guess the above workaround is legit.

Any comments on why the restriction are welcome! BTW, if the workaround is
legit, I've found a bug in gnatgpl06 that I'll post in a separate message.