3.12   Exercices

1. Écrire la fonction parse_ml_expr qui lit dans un fichier des expressions ml_expr et construit leur arbre de syntaxe correspondant.
2. Ajouter les déclarations globales dans le langage mini-ML et modifier le vérificateur de types en conséquence.
3. Comment typer les exceptions, le filtrage de motif et les références?