Was Sie verwenden für Tracing und Debugging in OCaml?
Für das Debuggen habe ich versucht, ocamldebug und die Emacs-Plugin.
Für Tracing Ich möchte in der Lage, die Daten Konstruktor jeder Variablen zu drucken. Ein Beispiel unter Verwendung von camlp4 Sie hier: Ссылка
%Vor% ocamldebug funktioniert gut, wenn Sie Bytecode verwenden können.
Wenn Sie eine native Code-Anwendung debuggen möchten, gibt es einen Patch von Thomas Gazagnaire auf Mantis, die es ermöglicht, Zeile für Zeile im OCaml-Programm mit gdb zu laufen. Teile dieses Patches sollten in die nächste Version von OCaml (3.13 oder 4.00) integriert werden.
Gegenwärtig gibt es jedoch keine Möglichkeit, OCaml-Werte zu drucken, aber es kommt ein weiterer Patch, der GADTs verwendet, um eine generische Druckerfunktion für jeden Typ zu definieren.