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.