Bonjour tout le monde,
J'espère que vous allez bien ! Alors, en fait, j'essaie d'écrire une fonction qui prend une chaîne de caractère ( qui sera en soi le contenu d'un fichier dans l'application) et l'évalue puis me retourne un tableau contenant les erreurs, les warning..etc et l'arbre de syntaxe abstraite. Pour faire cela, il y'a ces quelques fonctions que je vois qui peuvent m'être utiles :
- eval_decls_toplevel (dans eval.ml) - eval_expr_str ( dans elab.ml ) - eval_decl_str ( dans elab.ml ) - lexp_p_decls ( dans elab.ml ) - lexp_decl_str ( dans elab.ml ) - lexp_expr_str ( dans elab.ml )
Alors j'ai deux questions : - Que représente la liste des "tokens" que prend en paramètre la fonction lexp_p_decls ? - Le contexte qui est utilisé par eval_decls_toplevel en paramètre, c'est le contexte d'élaboration ( ectx)?
Merci beaucoup, bien à vous !