Re: Update_Element Spec. in Containers.Indefinite_Hashed_Maps

[Matthew Heaney <matthewjheaney@earthlink.net>]

"Anh Vo" <anhvofrcaus@gmail.com> writes:

> The Update_Element procedure specification has two paramters, Position and
> Process as implemented in GNAT-GPL. The one in the LRM 2005 has three
> paramters, Container as the additional and first paramter. Which one is the
> right one?

The version with three parameters is correct.  You appear to have an older
compiler.

As was mentioned elsewhere on this thread, there is a delay (usually a few
weeks) between the time I change the GNAT sources at AdaCore, and the time the
changes migrate into the GCC tree.

Eventually I'll update the reference implementation at
<http://charles.tigris.org> , but for now maintenance of the GNAT
implementation is my highest priority.  The tigris site will also be a good
place to try out alternative implementations (incremental hashing comes to
mind).

Note that if you have an older version of GNAT, then it's not hard to modify
your copy of the container library sources to match what's in the latest RM
draft.  Just find the ada include directory in your distribution, fix the file
in which you're interested, and compile the modified sources with -gnatg.
(Would -a work too?)

If you need the latest container sources now, and you're unsure what to do,
just drop me a line and I can step you through the necessary changes.

-Matt

P.S. I just learned today that AI-391 was approved, which means you'll be able
to say:

declare
  package Vector_Types is new A.C.Vectors (IT, ET);
  type VT is new Vector_Types.Vector with null record;
  -- not necessary to override functions returning type Vector
begin

Ditto for type Set.  This allows one to use the "transitivity of visibility"
technique mentioned in the Ada83 Rationale for containers too.