Re: syntaxic exploration

[Mehdi Saada <00120260a@gmail.com>]

Le mercredi 20 décembre 2017 23:48:45 UTC+1, Mehdi Saada a écrit :
> Sorry. How about the empty array in an aggregate ? 
> I found the rule very sensical. But I wonder why the more basic iterative construct, can have checks at run time, and not the more advanced one ?
> 
> subtype T_Degre is Natural range 0..Max; 
> type T_Vect_Coef is array (T_Degre range <>) of T_Rationnel; 
> type T_Polynome (Degre : T_Degre := 0) is 
> record 
>       Coef : T_Vect_Coef (0..Degre) := (others => Nulle); 
> end record; 
> type T_Rationnel is record 
>       Numerateur  : T_Entier  := 0; 
>       Denominateur: T_Entier_Pos := 1; 
> end record; -- (t_entier est un type paramêtre formel du générique. 
> subtype T_Entier_Pos is T_Entier range 1..T_Entier'Last; 
> 
> All the operations (*,-,- unaire, /, abs, relations d'ordre) are provided for T_Rationnel in the same package as the type itself, in the same package.