Hi,
Yeap, that would be nice. Though in the meantime perhaps
you can mention in the documentation that OCaml 3.10 users
can still use PG'OCaml -- they should just use Camlp5
instead of Camlp4. Then everything works fine and dandy!
(Well, apart from the exploding native code version).
> gdb program core
>;
> then within gdb use the 'bt' command to get a stack trace.
That was also my first impulse. Though this is what I get:
(gdb) bt
#0 0x00000000 in ?? ()
#1 0x00000001 in ?? ()
#2 0x00000000 in ?? ()
It has occurred to me that "ocamlopt -g" only produces
debug symbols for the main programme. All the GODI
libraries (and PG'OCaml uses quite a few of those) are
probably compiled without -g. I might have to recompile
everything again. Does someone know if it is possible in
GODI to have side by side "normal" and "debug-friendly"
libraries?
Cheers,
C.S.
.
