Je me suis remis à coder. Du code de grande précision, genre insérer chirurgicalement le minimum nécessaire au sein d'un programme de plusieurs milliers de lignes, afin de l'étendre juste comme on veut, en gardant l'ensemble cohérent. Et naturellement, il est hors de question que je lise l'intégralité du code existant, donc c'est un savant mélange d'intuition et d'exploitation du typage statique d'OCaml qui me guident dans ma tâche.
Tâche menée à bien ce soir, après avoir passé une journée à traquer des bugs qui me faisaient disparaître certaines données. Un fichu problème de portée de variables dont je me souviendrai longtemps...
Bref, j'ai étendu CIL pour lui faire comprendre CPC. Et ça marche !
Il reste quand même à réimplémenter les transformations qui compilent un programme CPC vers du C standard.
Envoyer un commentaire (par mail).