Bonjour,

Dans le cadre d'un projet de master, je développe un outil qui permet de générer des programmes vérifiant des arbres de dérivations selon un ensemble donnée de dérivations.
Pour le projet, j'utilise Menhir pour parser les dérivations et générer le code du vérificateur. Cependant, pour l'instant je dois écrire un parser à la main pour chaque vérificateur donné (chaque grammaire est différente).
Je me demandais donc si il était possible d'utiliser un générateur de parser (comme Menhir par example) en tant que back-end.
C'est à dire que à la place de lui donner en entrée un fichier contenant la grammaire, j'aimerais directement utiliser une API qui me permet de générer un parser avec mon propre front-end pour la spécification de la grammaire.
Cela doit être possible en générant un fichier de grammaire menhir puis d'appeler le programme depuis le programme OCaml, mais c'est une solution lourde et il semble assez difficile d'afficher des erreurs pertinentes.

Merci d'avance.