[Ada] Allow generic iteration on formal lists

[Arnaud Charlet <charlet at adacore dot com>]

This patch allows the use of generic iteration on formal lists.
If L is a formal list of integers, the following loop is now accepted:

for C of L loop
   Put_Line ("Value =>" & C'Img);
end loop;

Tested on x86_64-pc-linux-gnu, committed on trunk

2011-12-21  Claire Dross  <dross@adacore.com>

	* a-cfdlli.ads (Constant_Indexing, Default_Iterator,
	Iterator_Element): Added to type List.
	(Not_No_Element, List_Iterator_Interfaces, Iterate,
	Constant_Reference_Type, Constant_Reference): New.
	* a-cfdlli.adb (type Iterator, Finalize, First, Last, Next,
	Previous, Iterate, Not_No_Element, Constant_Reference): New.

Attachment: difs
Description: Text document