Re: [Caml-list] menhir should reference source file and not generated source file

[Helmut Brandl <helmut.brandl@gmx.net>]

> On May 2, 2017, at 14:49, François Pottier <francois.pottier@inria.fr> wrote:
> 
> 
> Hello,
> 
> Le 02/05/2017 19:09, Helmut Brandl a écrit :
>> I continue to have the problem that any assertion failure reported by the
>> runtime system always references the source file of the generated parser
>> (i.e. the .ml file) and not the source file (i.e. the .mly file). Is there
>> any way to ask menhir to use the line numbers of the source file instead of
>> the generated source?
> 
> That's a good question, which I don't think anyone has asked before.
> 
> Looking into this issue, it turns out that if "menhir" is used, then the
> generated .ml file does contain appropriate line number information (such
> as # 4 "sample.mly"), whereas if "menhir --infer" is used, then this
> information is omitted. The difference is observable if Assertion_failure
> is raised. This is definitely a bug, which I will look into.
> Thanks for reporting this!


Thanks for the feedback. I use “—infer” because it has been highly recommended in the manual.

Regards
Helmut