¿Cuándo se debe usar -g para imprimir trazas de pila en OCaml?

Question

estoy tratando de conseguir un StackTrace con Printexc.get_backtrace, pero estoy recibiendo un error:

(Program not linked with -g, cannot print stack backtrace)

Estoy compilando así:

ocamlfind ocamlc -g -o foo ... $(FOO_OBJS)

FOO_OBJS son recopilados con solo: ocamlc -c $OBJ

¿Qué pasa? ¿Debería compilarse cada .cmo con -g?

Si se produce una excepción en un objeto compilado sin -g ¿obtendré un stacktrace parcial, o no stacktrace en absoluto?

Answer 1

What's wrong? Should every .cmo be compiled with -g?

Sí, debe agregar la opción -g a la compilación y vinculación. También puede usar ocamldebug para recorrer el programa con esta opción activada. También la variable de entorno, OCAMLRUNPARAM debe establecerse en b.

If exception occurs in an object compiled without -g will I get a partial stacktrace, or no stacktrace at all?

¡Usted apuesta! Recuerdo algunas veces que había olvidado la opción -g y que el seguimiento posterior era solo de la biblioteca estándar.