Comment utiliser camlp4 dans un programme OCaml pour analyser un autre programme OCaml dans un AST?

Question

J'essaye actuellement de traduire des programmes OCaml (avec une grammaire assez standard/limitée) en Racket, et j'essaie de voir s'il y a un moyen de faire l'analyse en représentation intermédiaire en utilisant camlp4. J'ai essayé de construire un lexer et un analyseur en utilisant ocamlyacc et ocamllex mais vu la taille de la grammaire, cela devenait assez compliqué. Donc, j'ai cherché autour de camlp4 et j'en ai trouvé quelques-uns déjà intégrés, mais je n'arrive pas à chercher comment obtenir l'AST d'un code OCaml en l'utilisant. Toute documentation/exemples/idées? Aussi, si vous avez des suggestions sur la façon de faire mieux, ce serait génial aussi! Merci. Utilisez simplement compilateur-libs, qui est distribué avec le compilateur

Answer 1

Vous pouvez utiliser directement l'analyseur ocaml lui-même.

Voici un example of code that reads a .ml file. La documentation pour l'analyseur est assez décente. Vous obtiendrez, après l'analyse, un Parsetree.