On parle de "lazy evaluated horses" ou "eagerly evaluated horses" ? Je pense que c'est important pour bien comprendre le commit.
Vincent
Le 22 mars 2016 à 11:35, Stefan Monnier monnier@iro.umontreal.ca a écrit :
remove trailling space for consistency
Merci.
Tant qu'à être dans les "nitpicks de convention de codage", j'aimerais qu'on essaie d'améliorer les "commit messages" pour qu'ils soient plus complets.
Je propose d'utiliser le format suivant:
<Firstline summary> <Additional general description> <ChangeLog-style details>Pour ce qui est de la partie ChangeLog, le contenu attendu est décrit par exemple dans https://www.gnu.org/prep/standards/html_node/Style-of-Change-Logs.html
Donc un message de commit pourrait ressembler à
Get ityper to work on horses
Restructure the horse barn because the REPL reader loop was confusing horses for courses and duplicating a lot of code from the other barns.
- src/lexp.lm (foo_1): Extract from foo.
(foo): Use it.
- src/ityper.ml (go_horses): New function.
(go_courses): Call only foo_1 rather than foo.
- src/hbarn.ml: New file.
-- Stefan _______________________________________________ Typer mailing list Typer@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/typer