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

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

[Helmut Brandl]

Hello list,

I have switched from ocamlyacc to menhir. Basically the experience is very positive. However 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?

Thanks for any hint.

Regards
Helmut

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

[François Pottier]

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!

--
François Pottier
francois.pottier@inria.fr
http://gallium.inria.fr/~fpottier/

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

[Helmut Brandl]

> 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

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

[François Pottier]

Hello,

Le 02/05/2017 19:09, Helmut Brandl a écrit :
> Is there any way to ask menhir to use the line numbers of the source file instead of the generated source?

I believe I have fixed the problem.
I am now submitting an updated opam package,
which should be available soon.

-- 
François Pottier
francois.pottier@inria.fr
http://gallium.inria.fr/~fpottier/

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

[Helmut Brandl]

Thanks a lot. This makes development more convenient.

Regards
Helmut

> On May 9, 2017, at 14:32, François Pottier <francois.pottier@inria.fr> wrote:
> 
> 
> Hello,
> 
> Le 02/05/2017 19:09, Helmut Brandl a écrit :
>> Is there any way to ask menhir to use the line numbers of the source file instead of the generated source?
> 
> I believe I have fixed the problem.
> I am now submitting an updated opam package,
> which should be available soon.
> 
> -- 
> François Pottier
> francois.pottier@inria.fr
> http://gallium.inria.fr/~fpottier/
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs