Comment author: administrator

When entering parsing the second time in the same program run and calling
the symbol_start function at the first rule it returns the last symbol_end
position from the previous run through the parser (altough I expected it to
return 0).
Is it supposed to work only once, or is there something I'm missing?

Location information (Parsing.symbol_start) is derived from the
location information contained in lexing buffers (Lexing.lexbuf).
If you reuse the same lexing buffer across several calls to a parser,
locations keep increasing. If this behavior is inadequate, use a
fresh lexbuf to start again from 0.

Maybe it should clear the whole Parsing.env when calling clear_parser?

This will have no effect on location information.

Hope this helps,

• Xavier Leroy

Comment author: administrator

Normal behavior if lexbuf is reused.