Nicolás Ojeda Bär
Nicolás Ojeda Bär
Thanks @gasche!
Thanks for the feedback @johnridesabike! > what's the expected behavior when there are multiple modules passed to Menhir? I admit I did not think about this case. I guess that...
> I don't think I have a strong opinion on either of those options. Option 1 feels like it would be simpler. Option 2 feels like it would make more...
> I had a chance to play with this a little bit. A few quick thoughts: Thanks for taking the time to provide feedback! > 1. I think that `--compare-errors`...
> > 1. I think that `--compare-errors` should also be used somewhere, since it can report redundant sentences. ("Error: these sentences both cause an error in state ...") When I've...
> Maybe the rule could generate a second `.messages` file, say `parser_messages_comments.messages` to accompany `parser_messages.messages`? Then that could exist in the `_build` directory just in case it's needed. In fact,...
Thanks @Gbury for chiming in, and your valuable feedback! > I haven't (yet) had time to look at this too deeply, but I have one question/remark: if I understand correctly,...
> Gentle ping; is there anything blocking this change? Thanks for the ping! This dropped off my radar with the holidays :) As far as I remember the "blocking" point...
@dinosaure Seems fine; however it is a much more ambitious proposal (a new module, dozens of functions, plus C code, ...). If you are up to it, maybe submitting an...
@xavierleroy do you have an opinion on the question of exposing these "char bigarray" primitives in the standard library?