Re: subtilité Ada ou bug GNAT ?
Paul Duquennoy <[email protected]>
| Newsgroups | gmane.comp.lang.ada.france |
|---|---|
| Message-ID | <[email protected]> |
Bonjour, Dans ce genre de situation, il faut toujours plonger dans le manuel de référence. On y lit (5.2, assignment statement, dynamic semantics) que la partie droite de l'affectation (l'expression) est d'abord évaluée puis convertie vers le sous-type de la variable et enfin affectée. Si la conversion vers le sous-type échoue, il y a Constraint_Error. Le comportement que tu signales est donc clairement un bug, même si ça semble gros ! Paul Le 6 janv. 2011 à 08:06, Hugues Bonnin <[email protected]> a écrit : > donc pour vous, il s'agirait plutôt d'un bug du compilo, et non d'une subtilité du genre "dans l'instruction 'V:=F(V);' le V de gauche et le V de droite ne possèdent pas le même sous-type (T1 et T2) donc sont considérés différents, donc comportement non défini du compilo....." c'est du n'importe quoi, ça, hein ? > j'avoue que le bug me semble tellement gros, que j'ai du mal à m'en contenter... > > Hugues. > > ----- "Ludovic Brenta" <[email protected]> a écrit : > > | De: "Ludovic Brenta" <[email protected]> > | À: [email protected] > | Envoyé: Jeudi 6 Janvier 2011 01:21:54 GMT +01:00 Amsterdam / Berlin / Berne / Rome / Stockholm / Vienne > | Objet: Re: [ada-france] subtilité Ada ou bug GNAT ? > | > | Y'a pas de truc chez moi non plus... > | > | ./yauntruc > | AVANT F:<<xxxxxxxxxx>> > | in F:<<xxxxxxxxxx>> > | APRES F:<<xxxxxxxxxx>> > | > | avec gnat-4.4 (=4.4.5-3) de Debian. > | > | Meilleurs voeux. > | > | -- > | Ludovic Brenta. > | _______________________________________________ > | Site WWW de l'association Ada-France: http://www.ada-france.org/ > | [email protected] > | http://www.ada-france.org/mailman/listinfo/ada-france > _______________________________________________ > Site WWW de l'association Ada-France: http://www.ada-france.org/ > [email protected] > http://www.ada-france.org/mailman/listinfo/ada-france _______________________________________________ Site WWW de l'association Ada-France: http://www.ada-france.org/ [email protected] http://www.ada-france.org/mailman/listinfo/ada-france