Boucle interactive pour ATS

Présentation

Je suis actuellement en train de programmer une boucle interactive pour ATS, permettant non seulement de définir des valeurs et de les utiliser, mais également donnant des informations concernant les types des fonctions (statiques ou dynamiques) et des symboles. Cette boucle interactive n’est pas vraiment utilisable pour l’instant, mais n’est pas complètement inutile non plus. Voici à titre indicatif une liste non exhaustive des fonctionnalités supportées (ou pas) pour l’instant :

Quelques fonctionnalités supportées

• Affichage de la fixité, associativité et précédence des opérateurs
• Affichage de la sorte des constantes statiques, du type des constantes dynamiques
• Affichage de la sorte des expressions statiques
• Évaluation des expressions dynamiques et affichage du type
• Déclarations staload …
• Déclarations de valeurs par filtrage de motif
• Tuples et enregistrements
• Affichage en couleur
• …

Quelques fonctionnalités non supportées

• Interface en ligne de commande pratique (flèches directionnelles et historique)
• Affichage de certaines expressions statiques
• Macros et instructions préprocesseur
• Définition de fonctions
• Propositions, preuves
• Types linéaires, valeurs linéaires
• …

Installation

Étant donné que j’utilise le code source du compilateur ATS/Anairiats, vous devez avoir la version SVN de son code source. Télécharger ensuite ce fichier et appliquez les instructions suivantes (les patchs sont des patchs sur la révision 2451) :

• Appliquer tous les patchs, voici la fonction de chacun :
  • Le patch repl_syntax_error.patch rajout l’exception d’erreur de syntaxe pour pouvoir conserver le lexbuf dans un état consistant
  • Le patch repl_main_prelude.patch isole les fonctions de ats_main.dats permettant le chargement de la librairie de base dans ats_main_prelude.dats
  • Le patch repl_makefile.patch modifie les Makefiles afin de pouvoir continuer à compiler atsopt
• Ajouter le dossier utils/atsrepl/ dans $ATSHOME/
• Compilez le tout avec la commande make dans $ATSHOME (si vous avez une erreur bizarre, essayez make -B)
• La boucle interactive se situe alors au chemin $ATSHOME/bin/atsrepl

En résumé :

$ cd $ATSHOME
$ wget http://www.eleves.ens.fr/home/brunerie/docs/ats_repl.tgz
$ tar xvzf ats_repl.tgz
$ cat ATS_Repl_patch/repl_*.patch | patch -p0
$ cp -r ATS_Repl_patch/utils/atsrepl utils
$ make
$ ./bin/atsrepl