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

Parse |ident as ident #21

Closed
wants to merge 1 commit into from
Closed

Parse |ident as ident #21

wants to merge 1 commit into from

Conversation

sjp
Copy link
Contributor

@sjp sjp commented Nov 16, 2012

This is just a quick fix for #9.

The namespace implementation would need a working over to do this properly.

This will make it so that *|E E and |E are the same. Better than a parsing error but not ideal.

@SimonSapin
Copy link
Contributor

I plan of fixing #9 Soon®. I already have (kind of) the parser part in lselect.

@sjp
Copy link
Contributor Author

sjp commented Nov 16, 2012

Yeah sounds like a better option than what I've got going at the moment.

I look forward to your implementation :).

@Gallaecio
Copy link
Member

@sjp If you feel up to fixing the conflicts, I think we could merge this as is. Improvements can come later.

@sjp
Copy link
Contributor Author

sjp commented Jul 11, 2019

@Gallaecio Sure, thanks.

I no longer have the original repository but I have reproduced the changes and will submit a new PR with those changes.

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

Successfully merging this pull request may close these issues.

3 participants