Bonjour, re...
 
En espérant que vous vous portiez bien...
 
J'ai un problème concernant les paquetages en paramètre de paquetage.
 
Dans le main je déclare un subtype T_Langage is integer range 1..150_000;
Je passe une instance de integer_io appelé Langage_Io à un paquetage générique défini comme suit :
 

with Text_Io;
use Text_Io;
generic
   type T_Language is (<> );
   Width : Positive := 3;
   Backward : T_Language;
   with function Img(Item : in T_Language) return String;
   with procedure Get(Item : out T_Language);
   with package Item_Io is new Integer_Io(<> );
   Source_Filename : String := "train";
package Warch is

 
 
Et à l'utilisation d'un Item_Io.get dans le corps de Warch comme suit :

Item_Io.Get(source, Item);

 
J'obtien un erreur de compilation.

Voila, normalement T_Language étant un sous type de Integer et Language_Io une instance de Integer_Io avec T_Language...
Je ne comprend pas.
 
Pourriez vous me montrer mon erreur. A moins que...
S'il vous plaît ? Merci.

Yep!
 
Je comprends ce que j'ai fait, et que ça ne fonctionne pas    
 
Mais je trouve pas la soluce à mon problème.
 
 
L'objectif est de cacher le type T_Language à l'implémentation de Warch.
Mais je dois pouvoir lire un fichier texte de T_Language pour lire des lignes de multiples valeurs de T_Language. Et je sèche.