https://gitlab.com/monnier/typer/-/compare/master...extract-args-from-repl
Cette branche déplace le traitement des arguments en ligne de commande vers le fichier typer.ml (le nouveau point d'entrée). De cette façon, le module REPL ne contient que du code relié au REPL. Soilih, tu peux t'inspirer du fichier typer.ml pour créer un nouveau point d'entrée pour ton serveur LSP (n'oublie pas d'ajouter l'exécutable au fichier dune).
LGTM
https://gitlab.com/monnier/typer/-/compare/extract-args-from-repl...backend-object
J'ai extrait la création des backend dans une patch séparée. Le but de ce changement est de créer un objet backend qui permet de manipuler de façon abstraite un consommateur de Lexp.
Le commit message est un peu succint ici, vu que le code semble faire pas mal plus de changements/réorganisations que seulement "Introduce swappable backends for Typer". Je vois aussi que certains commentaires explicatifs ont été éliminés.
https://gitlab.com/monnier/typer/-/compare/backend-object...gambit
Dans cette patch, je crée un nouveau backend qui émet du code Scheme compatible avec Gambit.
LGTM
https://gitlab.com/monnier/typer/-/compare/master...lexer-tests
Finalement, cette patch ajoute des tests pour la phase d'analyse lexicale.
Ici aussi (et sur le dunify-tests commit aussi), le commit message est un peu succint. E.g. il pourrait mentionner par exemple que ça ajoute un module location dans source.ml et que c'est utilisé dans lexer_test.ml
Stefan