4.3.5 (61) needs updating

[ronan-d]

With the recent change to 4.3.5 (6), the example in 4.3.5 (61) is no longer valid and Empty_Map needs to be made a function instead of a constant.

[CKWG]

This is just an example, but good practice should also apply in examples, and a negative Capacity does not make much sense. (63/6) function Empty_Vector (Capacity : Natural := 0) return Vector_Type;

[ARG-Editor]

Both of these issues were added to AI22-0098-1, which is likely to be considered at the next ARG meeting.

[ARG-Editor]

AI22-0098-1 was approved at ARG meeting #63D; this issue is completed.