Re: syntaxic exploration

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

It compiled, but I entered the agonizing world of debugging run time erros...
What in that:
return RES: T_POLYNOME :=
(T_DEGRE'MAX(POLY_A.DEGRE,POLY_B.DEGRE),POLY_A.COEF) do
	for I in POLY_B.COEF'Range loop
		RES.COEF(I) := RES.COEF(I) + POLY_B.COEF(I);
	end loop;
	RES := POLY_REDUIT(RES);
end return;

is wrong ? Because the result is.
P1: 1 -2X 
P2: -1 
POLY1 + (POLY1 * POLY2) = 9 -15X +2X** 2  -- wrong.

It ends with raised CONSTRAINT_ERROR : p_poly_v1_g.adb:63 length check failed
 59 function "+" (POLY_A, POLY_B: T_POLYNOME) return T_POLYNOME is          
 60 begin                                                                   
 61     return RES: T_POLYNOME :=                                           
 62     (T_DEGRE'MAX(POLY_A.DEGRE,POLY_B.DEGRE),POLY_A.COEF) do             
 63         for I in POLY_B.COEF'Range loop                                 
 64             RES.COEF(I) := RES.COEF(I) + POLY_B.COEF(I);                
 65         end loop;                                                       
 66         RES := POLY_REDUIT(RES);                                        
 67     end return;