3.2 Rôle du vérificateur de types de mini-ML
La phase de typage de mini-ML s'insère entre l'analyseur syntaxique (qui construit un arbre de
syntaxe abstraite) et le traducteur vers une machine abstraite. Les informations de typage
ne seront pas utilisées dans la partie traduction dans un but de simplication du traducteur.
Ainsi la fonction type_check, correspondant au vérificateur de types, n'aura
qu'un rôle de vérification et s'arrêtera à la première erreur de types rencontrée.