[ SVP, envoyer à typer@iro comme ça Vincent les voit aussi. ]
Je n'ai pas utilisé la liste de meyers, mais une Map (entre le nom de la variable et son index),
Oui, je n'avais pas été très clair. Il nous faut les deux: - une SMap qui traduit les noms en index de debruijn. - un "Myers list" qui donne l'info associée à un index de debruijn.
Dans le code antérieur, on en utilisait aussi deux: - une SMap qui traduit les noms en "unique small integer". - une Map qui donne l'info associée à un unique small integer.
scope)). Je pense aussi utiliser cette structure pour détecter les récursions. (Si la variable est trouvé dans le 'inner' scope alors nous sommes en présence d'une récursion.
Non. Cela détecte quand une variable en cache une autre, ce qui peut arriver de manière tout à fait normale, mais n'introduit pas de récursion.
Je viens de voir votre commit. Je vais le regarder plus en détail aujourd'hui.
Tu devrais avoir reçu un courriel contenant le diff de ce commit quand je l'ai installé (i.e. ça fait déj`a pas mal de temps). L'as-tu reçu?
Stefan