------- 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