tree f64d6171a8b4ee879bde8decc813d6a9d871292d
parent ad7ed87a43655162cbd5765445681870aa99a3a8
author Julien Bortolussi <bortolussi@adacore.com> 1651679134 +0200
committer Pierre-Marie de Rodat <derodat@adacore.com> 1656920751 +0000

[Ada] Create new unbounded functional sequence

Add a new unbounded functional sequence. This sequence is indexed by
Big_Positive and so is unbounded from the user and spark points view.
Hower the actually implemented sequence are bounded by Count_Type'Last.

gcc/ada/

	* libgnat/a-cfinse.adb, libgnat/a-cfinse.ads: Implementation
	files of the sequence.
	* Makefile.rtl, impunit.adb: Take into account the add of the
	new files