Bonjour,
Pour le hash consing des substitutions j’ai directement créé un nouveau module Weak.Make dans «subst.ml » en changeant la représentation du type ‘a subst en ‘a subst = ‘a subst’ * int de la même manière que pour les lexp. J’ai l’impression que le type t de la Hashtbl ne peut pas prendre en compte le paramètre ‘a (qui est dans notre cas une lexp). Je ne peux pas le définir comme tel : struct type ‘a t = ‘a subst ou encore struct type t = ‘a subst. Je pensais éventuellement à placer la table dans « lexp.ml » pour pouvoir utiliser le type subst appliqué à une lexp.
Les informations fournies à la dernière réunion m’ont parues intéressantes pour peaufiner la fonction de hachage, je ne sais pas trop si vous avez une préférence. Je pensais dans un premier temps me concentrer sur la fonction d’égalité des lexp.
Bien cordialement, Alice de Berny