Le 27 mai 08 à 12:02, Ugo Jardonnet a écrit :

Roland Levillain wrote:

...

Ce n'est pas l'endroit où placer ces commentaires !!!

Je sais. seulement l'envoi du message au moment du commit a echoue. Au moment de poster je réalise ma faute est annonce le prochain patch. désolé.

Ok.

...

...

+ assert(this->is_unit());

Dans Milena, on utilise `mln_assertion' (cf. mln/core/contract.hh) plutôt que `assert' directement.

Mais ici, c'est `mln_postcondition' que tu veux utiliser.

J'imagine que tu as vu que le patch suivant r1916 fait ce que tu demande.

l'erreur a mit 4 min a être corrigée! je pense que je mérite pas la mort.

Oui ; mais 1. je lis dans l'ordre chronologique (pour des raisons de compréhension), donc mes remarques peuvent être caduques des fois ; 2. j'essaie d'être systématique dans mes remarques (quand j'ai le temps de lire les patches) : ne pas les prendre comme des reproches, mais comme des infos qui permettent d'améliorer le travail. La répétition est une des clefs de l'éducation, quoi qu'on en dise.