probleme

[fevrier@chambord-gw.univ-orleans.fr]

Bonjour,


J'utilise CENTAUR 1.2 et je rencontre un probleme. Je vous ai
envoye un mail la semaine derniere a ce sujet mais je n'ai pas encore
recu de reponse (sauf erreur).

Permettez-moi de vous presenter le probleme sous un autre angle.
Je developpe un langage L. Lors de l'evaluation en TYPOL,
j'ai envie (en fait j'ai besoin) d'attacher diverses informations
aux noeuds de l'arbre abstrait sous la forme d'annotations.

Pour cela, il faut que je prenne ma variable TYPOL, que je
la convertisse en arbre VTP.

Oui, mais... je n'y arrive pas.

Par exemple la regle TYPOL suivante :
 sendtree("test",PGM)  &
env, |- PGM : env'
----------------
env |- pgm(int I, PGM) : env' ;

Je desire mettre une annotation au noeud de l'arbre PGM.
A l'execution, on me dit que la var 'test' est inconnue. Si
je l'instancie a quelque chose, histoire de, j'ai une erreur.

Je me doute que la solution est simple, a base de  sendtree puis
annot/noannot pour les annotations mais je n'arrive pas a m'en sortir.

Quelle erreur ais-je pu faire ? Comment gerer ma variable lisp 'test'?



Merci de me depanner.