8000 Add a switch for disabling whitespace-skipping behavior · Issue #334 · lalrpop/lalrpop · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Add a switch for disabling whitespace-skipping behavior #334

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.

Sign up for GitHub

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

Jump to bottom
Open
sdleffler opened this issue Mar 15, 2018 · 3 comments
Open

Add a switch for disabling whitespace-skipping behavior #334

sdleffler opened this issue Mar 15, 2018 · 3 comments
Milestone
1.0

Comments

@sdleffler
Copy link

I recently came across a situation where I'd like to very specifically parse whitespace as part of my grammar. It would be great if we could have a way to disable the default lexer's behavior of skipping any and all whitespace before parsing the next token.
@varkor
Copy link
varkor commented Mar 19, 2018

I think this is subsumed by #14.

@nikomatsakis
Copy link
Collaborator

It is, but I asked @sdleffler to break it out because this might be a simple first step.

@divoxx
Copy link
divoxx commented May 1, 2018

+1 on this one. I've commented on #14 a while ago, this would address my case as well.

@Pat-Lafon Pat-Lafon added this to the 1.0 milestone Apr 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.0
Development

No branches or pull requests
5 participants
@divoxx @nikomatsakis @varkor @sdleffler @Pat-Lafon
0