Re: syntaxic exploration

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

As I see it, but I don't know the intricated rules of extended return statements, RES seems to be initialized as a constrained record object.
Does "return RES: T_POLYNOME (T_DEGRE'MAX(POLY_A.DEGRE,POLY_B.DEGRE)) do"
constrains its discrimant ?
I would explain that RES := POLY_REDUIT(RES) three lines below causes "raised CONSTRAINT_ERROR : p_poly_v1_g.adb:67 discriminant check failed"
 
return RES: T_POLYNOME (T_DEGRE'MAX(POLY_A.DEGRE,POLY_B.DEGRE)) do
   for I in RES.COEF'Range loop
	RES.COEF(I) := (if I in POLY_A.COEF'Range then POLY_A.COEF(I) else Nulle) + (if I in POLY_B.COEF'Range then POLY_B.COEF(I) else Nulle);
   end loop;
   RES := POLY_REDUIT(RES);
end return;