no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible !

[Mehdi Saada <00120260a@gmail.com>]

I just realized one can't do that:

generic
with procedure instance_of_generic_procedure is new generic_procedure;
...

The rules say (my compilator is in trouble, can't try):
formal_subprogram_declaration ::= formal_concrete_subprogram_declaration
    | formal_abstract_subprogram_declaration
formal_concrete_subprogram_declaration ::= 
     with subprogram_specification [is subprogram_default]
        [aspect_specification];
formal_abstract_subprogram_declaration ::= 
     with subprogram_specification is abstract [subprogram_default]
        [aspect_specification];
subprogram_default ::= default_name | <> | null
default_name ::= name

What ?? I have trouble figuring how it could have been forgotten. Any parenthood for instances of generic compilation units, packages or subprograms, should be possible to mention. For uniformity (or Heaven, no different)'s sake, also it would enable to check in particular things like:
generic
  type Item(<>);
  type Item_access is access Item;
  with procedure Free is new Unchecked_Deallocation (Item, Item_access);
package Smart_pointers ... Yes, I thought of that limitation with Jere's help with https://stackoverflow.com/questions/49660425/ada-difficulties-with-generics-incomplete-types-and-self-referencing-structure .

I hope I wasn't gravely mistaken, or else I'll probably never come here again because of shame...