Re: syntaxic exploration

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

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. définis pour T_Rationnel dans le même package fournissant le type.