------- Comment #4 from ludovic at ludovic-brenta dot org 2007-12-16 14:04 ------- As of 4.2.2, only the first of the two errors is detected. Reopening. The second error violates 8.5.4(6): "A name that denotes a formal parameter of the subprogram_specification is not allowed within the callable_entity_name." and is not diagnosed.
GCC 4.1.2: gnatmake -gnat05 pak1 gcc-4.1 -c -gnat05 pak1.ads pak1.ads:8:15: formal parameter "list" cannot be used before end of specification GCC 4.2.2: gnatmake -gnat05 pak1 gcc-4.2 -c -gnat05 pak1.ads pak1.ads:8:15: formal parameter "list" cannot be used before end of specification -- ludovic at ludovic-brenta dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|FIXED | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15605