Labos

Pour ce laboratoire, nous allons utiliser l’exemple interp5.ml Avant tout : clonez le dépôt d’exemples : git clone https://gitlab.info.uqam.ca/inf6120/exemples exécutez l’exemple interp5 : cd exemples/interpreter ; dune exec ./interp5.exe lisez attentivement le code interp5.ml Tout le reste du labo se fera à partir du code de interp5.ml. Vous pouvez donc effectuer vos modifications directement dans ce fichier. Représentation d’un programme Écrire le programme OCaml qui correspond au code qui est évalué dans l’exemple interp5 (à la dernière ligne du fichier) Transcrire le code OCaml suivant en représentation sous forme d’AST, et vérifier le résultat avec l’interpréteur interp5 : let a = 1 in let b = 2 in let f = function x -> function y -> x + y in f a b Booléens Ajouter le support des booléens tel que vu au cours.