comment dériver des méthodes to_string pour les types de données en utilisant ppx

Question

Comment puis-je dériver des méthodes to_string pour les types de données en utilisant ppx avec jbuilder?

Par exemple, je suis en train d'utiliser @@deriving show pour dériver show_* méthodes pour un type de données. J'ai un simple fichier main.ml qui ressemble à ceci:

open Core 

type foo = Bar | Baz 
    [@@deriving show] 

let() = printf "%s\n" (show_foo Bar) 

J'ai un fichier jbuild dans le même répertoire qui ressemble à ceci:

(jbuild_version 1) 

(executables 
((names (main)) 
    (libraries (core ppx_deriving)) 
    (preprocess (pps (ppx_deriving.show))))) 

(install 
((section bin) 
    (files ((main.exe as my_foo))))) 

Quand je lance jbuilder build, je reçois l'erreur suivante:

File "main.ml", line 6, characters 24-32: 
Error: Unbound value show_foo 

Il semble que jbuilder ne fonctionne pas ppx_deriving.show préprocesseur, et ne génère pas e e show_foo fonction.

Mon utilisation de @@derive show est-elle correcte? Ai-je besoin d'ajouter quelque chose à mon fichier jbuild pour le faire fonctionner correctement? Est-ce que ppx_deriving a un problème de travail avec jbuilder? Dois-je utiliser une bibliothèque ppx différente? Dois-je utiliser un système de construction différent? Comment la plupart des OCamlers traitent-ils ces problèmes de système de construction?

---

modifier: J'utilise la version OCaml 4.04.2, version 1.0 + JBuilder beta11 et ppx_deriving version 4.1.

Answer 1

Comme vous avez pu le constater dans les commentaires, cela nécessite un traitement particulier dans ppx_deriving qui n'a été fusionné que dans la version 4.2.

La raison sous-jacente est que jbuilder utilise ppx_driver pour appliquer des réécriteurs ppx et non l'indicateur -ppx.