Bonjour,
J'écris ce courriel pour vous avertir de deux changements dans Typer que je fais en préparation à merger mes patch pour la compilation vers Scheme. Ce n'est pas majeur, mais ça peut causer des surprises.
- Il y a plusieurs paires de fonctions, une qui agit sur un string de source Typer et l'autre, sur un fichier. Tout ça pour finalement passer une telle ou telle fermeture au prélexeur. Ma branche source-object fusionne ces fonctions pour prendre un objet source qui peut être un string ou un fichier.
- Je vais extraire de REPL.ml un fichier main.ml qui sera responsable de traiter les argument à typer puis de partir le REPL si nécessaire, sinon d'invoquer le bon backend non-interactif (Gambit dans mon cas). Je vais extraire ce changement de ma branche gambit et le merger séparément.
Bon typage Simon