[Bug ada/16086] Legal program rejected, procedure of protected object should be visible

[ludovic at ludovic-brenta dot org]

------- Comment #5 from ludovic at ludovic-brenta dot org  2007-05-03 19:27 -------
I disagree.  Per RM 9.5.1(1), "a protected subprogram IS a subprogram..."
(emphasis mine).  Furthermore, the last sentence of 12.6(9) says: "The view is
a function or procedure, never an entry".  Both of these sentences consistently
imply that protected procedures and functions are allowed as actuals for
generic formal subprograms.

GNAT must accept the sample program if it is to comply with the ARM.  If you
still disagree, please quote chapter and verse.


-- 

ludovic at ludovic-brenta dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086