[Caml-list] :: how to locate the source of exception

[Caml-list] :: how to locate the source of exception

[沈胜宇]

[-- Attachment #1: Type: text/plain, Size: 232 bytes --]

Dear all:


My program written in ocaml terminate with the following output:


Fatal error: exception Invalid_argument("index out of bounds")




So how should I find out the lcoation in source code that raise this exception?


Shen

[-- Attachment #2: Type: text/html, Size: 348 bytes --]

Re: [Caml-list] :: how to locate the source of exception

[Philippe Veber]

[-- Attachment #1: Type: text/plain, Size: 504 bytes --]

Dear Shen,

you can run your program in bytecode setting the OCAMLRUNPARAM correctly
and you'll see the whole backtrace, like in

OCAMLRUNPARAM=b ./myprogram

hope this helps,
  Philippe.


2013/1/24 沈胜宇 <syshen@nudt.edu.cn>

> Dear all:
>
> My program written in ocaml terminate with the following output:
>
> Fatal error: exception Invalid_argument("index out of bounds")
>
>
> So how should I find out the lcoation in source code that raise this
> exception?
>
> Shen
>

[-- Attachment #2: Type: text/html, Size: 876 bytes --]

Re: [Caml-list] :: how to locate the source of exception

[François Pessaux]

Hello,

>> My program written in ocaml terminate with the following output:
>> Fatal error: exception Invalid_argument("index out of bounds")
>> So how should I find out the lcoation in source code that raise this exception?

> you can run your program in bytecode setting the OCAMLRUNPARAM correctly and you'll see the whole backtrace, like in
> OCAMLRUNPARAM=b ./myprogram

Just remember to compile with the -g option to really get the backtrace otherwise you'll get something like
   Fatal error: exception XXX
   (Program not linked with -g, cannot print stack backtrace).

Regards,

  -- François

Re: Re: [Caml-list] :: how to locate the source of exception

[沈胜宇]

[-- Attachment #1: Type: text/plain, Size: 797 bytes --]

Dear Philippe


Great, I got the trace, thank you very much.


Shen


-----原始邮件-----
发件人: "Philippe Veber" <philippe.veber@gmail.com>
发送时间: 2013-01-24 20:20:52 (星期四)
收件人: "沈胜宇" <syshen@nudt.edu.cn>
抄送: caml-list@inria.fr
主题: Re: [Caml-list] :: how to locate the source of exception

Dear Shen,

you can run your program in bytecode setting the OCAMLRUNPARAM correctly and you'll see the whole backtrace, like in

OCAMLRUNPARAM=b ./myprogram

hope this helps,
  Philippe.



2013/1/24 沈胜宇 <syshen@nudt.edu.cn>
Dear all:


My program written in ocaml terminate with the following output:


Fatal error: exception Invalid_argument("index out of bounds")




So how should I find out the lcoation in source code that raise this exception?


Shen


[-- Attachment #2: Type: text/html, Size: 1504 bytes --]

Re: [Caml-list] :: how to locate the source of exception

[Malcolm Matalka]

Run with backtraces on.  I think this requires bytecode but I can't
remember:

http://stackoverflow.com/questions/145880/how-do-i-get-a-stack-trace-in-ocaml

沈胜宇 <syshen@nudt.edu.cn> writes:

> Dear all:
>
>
> My program written in ocaml terminate with the following output:
>
>
> Fatal error: exception Invalid_argument("index out of bounds")
>
>
>
>
> So how should I find out the lcoation in source code that raise this exception?
>
>
> Shen

Re: [Caml-list] :: how to locate the source of exception

[Török Edwin]

On 01/24/2013 03:15 PM, Malcolm Matalka wrote:
> Run with backtraces on.  I think this requires bytecode but I can't
> remember:
> 
> http://stackoverflow.com/questions/145880/how-do-i-get-a-stack-trace-in-ocaml

It works with native code too if you set Printexc.record_backtrace as written above, but
bytecode backtraces are usually more reliable (the native backtrace gets cut off sometimes,
perhaps due to some 3rdparty libraries not being compiled with -g).

--Edwin

> 
> 沈胜宇 <syshen@nudt.edu.cn> writes:
> 
>> Dear all:
>>
>>
>> My program written in ocaml terminate with the following output:
>>
>>
>> Fatal error: exception Invalid_argument("index out of bounds")
>>
>>
>>
>>
>> So how should I find out the lcoation in source code that raise this exception?
>>
>>
>> Shen
> 

Re: [Caml-list] :: how to locate the source of exception

[Daniel Bünzli]

Le jeudi, 24 janvier 2013 à 14:29, Török Edwin a écrit :
> It works with native code too if you set Printexc.record_backtrace as written above, but
> bytecode backtraces are usually more reliable (the native backtrace gets cut off sometimes,
> perhaps due to some 3rdparty libraries not being compiled with -g).

I think it's due to tail call optimisation.

Best,

Daniel

Re: Re: [Caml-list] :: how to locate the source of exception

[沈胜宇]

Dear Matalka:

I got the trace by following you method, thank you for your help

Shen


> -----原始邮件-----
> 发件人: "Malcolm Matalka" <mmatalka@gmail.com>
> 发送时间: 2013-01-24 21:15:47 (星期四)
> 收件人: "沈胜宇" <syshen@nudt.edu.cn>
> 抄送: caml-list@inria.fr
> 主题: Re: [Caml-list] :: how to locate the source of exception
> 
> Run with backtraces on.  I think this requires bytecode but I can't
> remember:
> 
> http://stackoverflow.com/questions/145880/how-do-i-get-a-stack-trace-in-ocaml
> 
> 沈胜宇 <syshen@nudt.edu.cn> writes:
> 
> > Dear all:
> >
> >
> > My program written in ocaml terminate with the following output:
> >
> >
> > Fatal error: exception Invalid_argument("index out of bounds")
> >
> >
> >
> >
> > So how should I find out the lcoation in source code that raise this exception?
> >
> >
> > Shen