From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM, FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.107.187.1 with SMTP id l1mr9510891iof.106.1513949487129; Fri, 22 Dec 2017 05:31:27 -0800 (PST) X-Received: by 10.157.67.108 with SMTP id y41mr630106oti.5.1513949486941; Fri, 22 Dec 2017 05:31:26 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g80no1474686itg.0!news-out.google.com!b73ni4831ita.0!nntp.google.com!g80no1474683itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 22 Dec 2017 05:31:26 -0800 (PST) In-Reply-To: <0d33e631-e63d-4346-ac95-5eec72127f4f@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=85.245.163.184; posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT NNTP-Posting-Host: 85.245.163.184 References: <0d33e631-e63d-4346-ac95-5eec72127f4f@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: syntaxic exploration From: Mehdi Saada <00120260a@gmail.com> Injection-Date: Fri, 22 Dec 2017 13:31:27 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 2306 X-Received-Body-CRC: 2618620296 Xref: reader02.eternal-september.org comp.lang.ada:49589 Date: 2017-12-22T05:31:26-08:00 List-Id: 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;