[Caml-list] line number for assert

[Caml-list] line number for assert

[Vesa Karvonen]

Hi,

The assert primitive of Ocaml 3.02 (windows version) seems to print the source
file location as an offset from the beginning of the file rather than as a
line number and column.

Is there a particular reason for this?

The reason why I'm asking this is that it makes it much more difficult to find
the right assertion on most editors.

Is there a simple way to overcome this limitation?

I was thinking of the possibility of preprocessing the source code with some
simple preprocessor and using a home brewn assertion procedure, but I'd like
to hear about simpler solutions.

Regards,
  Vesa Karvonen


-------------------
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] line number for assert

[David Mentre]

"Vesa Karvonen" <vesa.karvonen@housemarque.fi> writes:

> The assert primitive of Ocaml 3.02 (windows version) seems to print the source
> file location as an offset from the beginning of the file rather than as a
> line number and column.
> 
> Is there a particular reason for this?

Yes. Internally, the compiler knows only about character position. The
line number is computed (in fact the source file is reparsed) only when
an error message is printed:
  http://caml.inria.fr/archives/200011/msg00032.html

> The reason why I'm asking this is that it makes it much more difficult to find
> the right assertion on most editors.

Except with emacs. :)

> Is there a simple way to overcome this limitation?

As far as I know, no. However you should look at mailing list
archive. This topic has been discussed numerous times.

Best regards,
d.
-- 
 David.Mentre@inria.fr
 Opinions expressed here are only mine.
-------------------
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] line number for assert

[Markus Mottl]

On Tue, 11 Sep 2001, David Mentre wrote:
> > The reason why I'm asking this is that it makes it much more difficult to find
> > the right assertion on most editors.
> 
> Except with emacs. :)

And except with Vim. :)

Best regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
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] line number for assert

[SooHyoung Oh]

Could you explain how to use "vim" for assert?

---
SooHyoung Oh
----- Original Message -----
From: "Markus Mottl" <markus@mail4.ai.univie.ac.at>
To: "David Mentre" <David.Mentre@inria.fr>
Cc: "Vesa Karvonen" <vesa.karvonen@housemarque.fi>; <caml-list@inria.fr>
Sent: Tuesday, September 11, 2001 7:06 PM
Subject: Re: [Caml-list] line number for assert


> On Tue, 11 Sep 2001, David Mentre wrote:
> > > The reason why I'm asking this is that it makes it much more difficult
to find
> > > the right assertion on most editors.
> >
> > Except with emacs. :)
>
> And except with Vim. :)
>
> Best regards,
> Markus Mottl
>
> --
> Markus Mottl                                             markus@oefai.at
> Austrian Research Institute
> for Artificial Intelligence                  http://www.oefai.at/~markus
> -------------------
> 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

-------------------
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] line number for assert

[Markus Mottl]

On Thu, 13 Sep 2001, SooHyoung Oh wrote:
> Could you explain how to use "vim" for assert?

Sure: just take a look at the char number you want to jump to and say,
for example, ":go 1234" to jump to char 1234.

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
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] line number for assert

[Sven]

On Tue, Sep 11, 2001 at 11:51:50AM +0200, David Mentre wrote:
> "Vesa Karvonen" <vesa.karvonen@housemarque.fi> writes:
> 
> > The assert primitive of Ocaml 3.02 (windows version) seems to print the source
> > file location as an offset from the beginning of the file rather than as a
> > line number and column.
> > 
> > Is there a particular reason for this?
> 
> Yes. Internally, the compiler knows only about character position. The
> line number is computed (in fact the source file is reparsed) only when
> an error message is printed:
>   http://caml.inria.fr/archives/200011/msg00032.html
> 
> > The reason why I'm asking this is that it makes it much more difficult to find
> > the right assertion on most editors.
> 
> Except with emacs. :)
> 
> > Is there a simple way to overcome this limitation?
> 
> As far as I know, no. However you should look at mailing list
> archive. This topic has been discussed numerous times.

What about a little tool to be added to the ocaml distribution, which parses a
file, and convert the char number to line number + column. I guess, from what
is already done by the toplevel, that this would be trivial to implement, as
all the code for it is already written.

Friendly,

Sven Luther
-------------------
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] line number for assert

[Christian Lindig]

On Tue, Sep 11, 2001 at 12:53:25PM +0200, Sven wrote:
> What about a little tool to be added to the ocaml distribution, which parses a
> file, and convert the char number to line number + column. I guess, from what
> is already done by the toplevel, that this would be trivial to implement, as
> all the code for it is already written.

I have written a little tool that takes a stack trace on stdin,
annotates it with line numbers, and writes the annotated stack trace to
stdout. It also honors #line directives in the source file and thus can
deal with ocamlyacc and the OCaml preprocessor sources (I guess). Here
it is called with a list of directories to search for sources on the
command line. Errors in files that it fails to find the source code for
come out un-annotated. If I had included /usr/local/lib/ocaml in the
list of directories on the command line, the locations in the library
files would have been found, too.

    tools $ ./ocamlerror ../src ../lua < trace.txt 
    Fatal error: uncaught exception Assert_failure("cfg3.ml", 17778, 17790) (cfg3.nw: 1475, column 7)
    Raised at unknown location
    Called from module Set, character 8365
    Called from module Set, character 8360
    Called from module Set, character 8360
    Called from module Set, character 8360
    Called from module Cfg3, character 31510 (cfg3.nw: 580, column 126)
    Called from module Astasm, character 4745 (astasm.nw: 244, column 33)
    Called from module List, character 1783
    Called from module List, character 1783
    Called from module Ast3ir, character 30374 (ast3ir.nw: 1168, column 222)
    Called from module Luavalue, character 10485 (luavalue.nw: 390, column 7)
    Called from module Luainterp, character 3637 (luainterp.nw: 185, column 23)
    Called from module Luainterp, character 13688 (luainterp.nw: 466, column 22)
    Called from module Luainterp, character 14603 (luainterp.nw: 495, column 23)
    Re-raised at module Luainterp, character 14629 (luainterp.nw: 495, column 49)
    Called from module Luainterp, character 3637 (luainterp.nw: 185, column 23)
    Called from module Luabaselib, character 683 (luabaselib.nw: 83, column 16)
    Called from module Luainterp, character 14603 (luainterp.nw: 495, column 23)
    Re-raised at module Luainterp, character 14629 (luainterp.nw: 495, column 49)
    Called from module Main2, character 3219 (main2.nw: 156, column 42)
    Called from module List, character 1783
    Called from module Main2, character 4056 (main2.nw: 175, column 24)
    Called from module Main2, character 4324 (main2.nw: 190, column 9)


The tool is part of a larger project and not polished for publication.
It comes with a shell script to build it, a man page and a BSD style
license. 

http://www.eecs.harvard.edu/~lindig/software/download/ocamlerror.tar.gz

Would this be useful for the next release? I could do some polishing if
people think so.

-- Christian

-- 
Christian Lindig          Harvard University - DEAS
lindig@eecs.harvard.edu   33 Oxford St, MD 242, Cambridge MA 02138
phone: +1 (617) 496-7157  http://www.eecs.harvard.edu/~lindig/
-------------------
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] line number for assert

[Vesa Karvonen]

From: "David Menthe" <David.Mentre@inria.fr>
> "Vesa Karvonen" <vesa.karvonen@housemarque.fi> writes:
> > The reason why I'm asking this is that it makes it much more difficult to
find
> > the right assertion on most editors.
>
> Except with emacs. :)

Well, I guess we'll be using emacs on Ocaml projects, so I think that solves
the problem for us. However, I still think that the assertion should output a
line number (and column), because it is much more informative to human
readers.

Regards,
  Vesa Karvonen


-------------------
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