Ajouter la division

Quatre ajouts cohérents traversent toute la chaîne :

• le lexème : ajouter Div au type lexeme, et le cas '/' dans lexer ;

• l'arbre : ajouter Divi of expr * expr au type expr ;

• le parser : dans boucle_mul, traiter Div :: reste comme Fois (même niveau) en construisant Divi ;

• l'évaluateur : le cas Divi (a, b) -> evalue a / evalue b.

| Div :: reste -> let (d, r) = parse_facteur reste in boucle_mul (Divi (g, d)) r
(* ... *)
| Divi (a, b) -> evalue a / evalue b

À chaque ajout, le compilateur signale les match devenus non exhaustifs (chapitre 3) : il guide l'extension. Une grammaire bien structurée se prolonge sans effort.