Re: [Caml-list] OCAMLRUNPARAM and backtraces

Re: [Caml-list] OCAMLRUNPARAM and backtraces

[Patrick M Doane]

I should have mentioned that I'm only trying this on bytecode. Here's
a concrete example:

except.ml:

  let f () = failwith "test"
  let main () = f ()
  ;;
  main ()


% ocamlc except.ml
% ./a.out 
Fatal error: uncaught exception Failure("test")
% setenv OCAMLRUNPARAM "b=1"
% ./a.out
Fatal error: uncaught exception Failure("test")
% 


On Sat, 15 Sep 2001, Christian Lindig wrote:

> >   % setenv OCAMLRUNPARAM "b=1"
> > 
> > but I've never seen a backtrace print out for uncaught exceptions. I
> > assume that others can get this working since I've seen outputs from it on
> > the list, so I must be missing something obvious. 
> 
> The environment variable looks ok. Stack traces only work with the
> byte code interpreter. You also must not catch the exception using 
> Printexec.to_string. Otherwise I have no idea. 
> 
> -- Christian

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

[Caml-list] OCAMLRUNPARAM and backtraces

[Patrick M Doane]

I'm wondering if anyone might have any ideas why setting OCAMLRUNPARAM to
include backtraces just doesn't work for me.

I'm running with Ocaml 3.02 using tcsh and FreeBSD.  On the command line,
I use:

  % setenv OCAMLRUNPARAM "b=1"

but I've never seen a backtrace print out for uncaught exceptions. I
assume that others can get this working since I've seen outputs from it on
the list, so I must be missing something obvious. 

Any thoughts?
Patrick

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] OCAMLRUNPARAM and backtraces

[Xavier Leroy]

> I'm wondering if anyone might have any ideas why setting OCAMLRUNPARAM to
> include backtraces just doesn't work for me.

You need to compile and link with ocamlc -g, otherwise the bytecode
executable doesn't contain the required source<->code correspondence
information.

- Xavier Leroy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] OCAMLRUNPARAM and backtraces

[Patrick M Doane]

This made things work, thanks!

Would some modification to byterun/backtrace.c like this help for future
users?

  events = read_debug_info();
  if (events == Val_false) {
    if (backtrace_pos > 0) {
      fprintf(stderr, "No debug information - please recompile with -g
option\n");
    }
    return;
  }

Patrick


On Sat, 15 Sep 2001, Xavier Leroy wrote:

> > I'm wondering if anyone might have any ideas why setting OCAMLRUNPARAM to
> > include backtraces just doesn't work for me.
> 
> You need to compile and link with ocamlc -g, otherwise the bytecode
> executable doesn't contain the required source<->code correspondence
> information.
> 
> - Xavier Leroy
> 

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr