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.51.136 with SMTP id z130mr5039469ioz.70.1513790898721;
        Wed, 20 Dec 2017 09:28:18 -0800 (PST)
X-Received: by 10.157.82.97 with SMTP id q33mr246016otg.7.1513790898413; Wed,
 20 Dec 2017 09:28:18 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!paganini.bofh.team!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!i6no751420itb.0!news-out.google.com!b73ni2488ita.0!nntp.google.com!i6no751416itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 20 Dec 2017 09:28:18 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.240.218.120;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 85.240.218.120
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0d33e631-e63d-4346-ac95-5eec72127f4f@googlegroups.com>
Subject: syntaxic exploration
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Wed, 20 Dec 2017 17:28:18 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:49549
Date: 2017-12-20T09:28:18-08:00
List-Id: <comp.lang.ada>

I'm being modelizing polynomes. I've got those two things: p_poly_v1_g.adb:51:21: iterable name cannot be a discriminant-dependent component of a mutable object
Ah ? So I can't write that ?
return RESULTAT : T_POLYNOME := POLY do
        for ELEMENT of RESULTAT.COEF loop
                ELEMENT := - ELEMENT;
        end loop;
end return;

I've got that too:
p_poly_v1_g.adb:59:86: selector name should be identifier or "others"

return RES: T_POLYNOME := (T_DEGRE'MAX(POLY_A.DEGRE,POLY_B.DEGRE),POLY_A.COEF'Range => POLY_A.COEF, others => Nulle) do

I thought X'Range was strictly equivalent to X'First..X'Last ? Of course, poly is a mutable article, with two components, Degre (derived from NATURAL), and COEF, array. 

I have that too:
for IND in POLY_R.COEF'Range loop
      POLY_R.COEF(IND) := POLY_R.COEF(IND)*(IND+1);
end loop;

COEF's elements of T_RATIONNEL type, themselves record types. IND is of type T_DEGRE, so why do I have that:
p_poly_v1_g.adb:73:43: expected type "Standard.Integer"
p_poly_v1_g.adb:73:43: found private type "T_Rationnel" 

Thanks !