[Caml-list] lexer errors

[Caml-list] lexer errors

[Jacques Le Normand]

How can I get some decent lexer error reporting?

Here's my program:


{
  open Lexing
}

rule lex = parse
  | "foo" {()}
  | "\n" {lex lexbuf}

{
  let main () =
    let lexbuf = from_channel stdin in
      try
	let rec loop () =
	  let x = lex lexbuf in
	    loop x
	in
	  loop ()
      with
	| _ ->
	    let x = lexbuf.Lexing.lex_curr_p in
	      Printf.printf
		"line %d, character %d\n"
		x.pos_lnum (x.pos_cnum - x.pos_bol)

  let _ = main ()
}

running:

	ocamlc -I ~/ocaml/ ~/ocaml/test_lexer2.ml -o ~/ocaml/test.o
	echo foo > ~/temp.txt
	echo bar >> ~/temp.txt
	~/ocaml/test.o < ~/temp.txt

outputs the incorrect line:

       line 1, character 4

(Should be line 2, character 1)

Re: [Caml-list] lexer errors

[Mehdi Dogguy]

On 06/23/2012 03:14 AM, Jacques Le Normand wrote:
> rule lex = parse
>   | "foo" {()}
>   | "\n" {lex lexbuf}
> 

You should add "new_line lexbuf" before re-calling "lex".


> (Should be line 2, character 1)
> 

In fact, it should be "line 2, character 0" since "bar" is really
at the beginning of the line.

Best,

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/