Recherche:

Bon, ceci dit, ça ne force pas l'instanciation avec un type contraint.

Alors j'ai fini par trouver grâce à la page suivante de quoi faire un bout de code qui me semble répondre au problème.


package Types is
-- Déclaration d'un type Tableau non contraint
...

Pourrais-tu nous fournir un petit code qui illustre ton problème ?
As-tu un problème dans la déclaration du générique ou à son instanciation ?

Et ça ne marche pas ?
Parce que l'exemple de l'ARM que je t'ai fourni utilise bien des tableaux non contraints.
D'ailleurs, qu'est-ce qui ne marche pas ? Tu as un message d'erreur à la compilation ?

Et bien dans ce cas, qu'est-ce qui t'empêche de faire une variation de l'exemple de l'ARM, du style


generic
type Item is private; -- formal type
type Index is...

Je pense que je n'ai pas dû bien comprendre la question parce que sinon, la réponse se trouve dans l'ARM dans l'exemple ligne 19 de cette page.
Pourrais-tu préciser ?