gcc-4.9/gcc/testsuite/gnat.dg/my_env_versioned_value_set_g.ads


1
2
3
4
5
6
7

generic 
  type Value_T(<>) is private;
package My_Env_Versioned_Value_Set_G is
  generic 
    with function Updated_Entity (Value : Value_T) return Boolean is <>;
  package Update_G is end; 
end;