Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

next_line removal is not complete #3661

Open
ejgallego opened this issue Feb 6, 2023 · 0 comments
Open

next_line removal is not complete #3661

ejgallego opened this issue Feb 6, 2023 · 0 comments

Comments

@ejgallego
Copy link

ejgallego commented Feb 6, 2023

Dear RWO authors,

in 4c244ab you have removed next_line in favor of new_line, however you forgot to update the text, and the two lexer.mll files in parsing and parsing-annotated dirs, which still refer to the (now) non-existing function instead of Lexing.new_line.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant