¿Cómo obtengo un seguimiento de pila en OCaml?

Question

El lenguaje Object Caml solo producirá seguimientos de pila si los solicita exactamente: ¿cuáles son los requisitos tanto para bytecode como para código nativo?

Answer 1

compilar con OCAMLRUNPARAM variable de entorno -g y establecer = b

Answer 2

Algunos Printexc funciones le permiten hacer esto mediante programación.

Answer 3

Como parece que solo puede obtener rastros de las excepciones en Unix, puede bifurcar y lanzar la excepción en el segundo proceso. De esta manera el proceso principal puede continuar:

export OCAMLRUNPARAM=b 
# compile with -g 

flush_all(); let r = Unix.fork() in if r == 0 then raise Exit 

Answer 4

Si está utilizando Ocamlbuild en lugar de invocar el compilador directamente, puede utilizar la etiqueta debug. Desde el manual:

Con OCamlbuild, sólo tiene que añadir la etiqueta de depuración de los objetivos de su programa, y ​​va a resolver cuando para insertar la bandera -g o no.

Por ejemplo, si usted está construyendo un archivo con el paquete foo.mlbar entonces su archivo _tags tendrá una línea:

<foo.ml>: package(bar), debug 

Esto insertará los -g banderas apropiadas, mientras que la construcción de los archivos de código de bytes/nativos. Sin embargo, aún necesita establecer la variable de entorno usando export OCAMLRUNPARAM=b como se menciona en las otras respuestas.