Wie abgeleitet to_string Methoden für Datentypen mit ppx

Question

Wie kann ich to_string Methoden für Datentypen mit ppx mit jbuilder herleiten? Zum Beispiel versuche ich @@deriving show zu verwenden, um Methoden für einen Datentyp abzuleiten. Ich habe eine einfache main.ml-Datei, die wie folgt aussieht:

open Core 

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

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

Ich habe eine jbuild-Datei in demselben Verzeichnis, das wie folgt aussieht:

(jbuild_version 1) 

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

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

Als ich jbuilder build laufen, ich folgende Fehlermeldung erhalten:

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

Es scheint wie jbuilder laufen nicht den ppx_deriving.show Präprozessor und erzeugt keine th e show_foo Funktion.

Ist meine Verwendung von @@derive show korrekt? Muss ich etwas zu meiner jbuild Datei hinzufügen, damit es richtig funktioniert? Hat ppx_deriving ein Problem mit jbuilder zu arbeiten? Sollte ich eine andere ppx-Bibliothek verwenden? Sollte ich ein anderes Build-System verwenden? Wie gehen die meisten OCamler mit solchen Build-System-Problemen um?

---

bearbeiten: Ich bin mit OCaml Version 4.04.2, jbuilder Version 1.0 + beta11 und ppx_deriving Version 4.1.

Answer 1

Wie Sie in den Kommentaren gefunden haben, erfordert dies eine besondere Behandlung in ppx_deriving, die nur in Version 4.2 zusammengeführt wurde.

Der zugrunde liegende Grund ist, dass jbuilderppx_driver verwendet, ppx Rewriter und nicht die -ppx Flag anwenden.