8000 Add `grammarSource` option and new `source` key to the location information by Mingun · Pull Request #95 · peggyjs/peggy · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Add grammarSource option and new source key to the location information #95

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

Merged
merged 2 commits into from
Apr 23, 2021

Conversation

Mingun
Copy link
Member
@Mingun Mingun commented Apr 22, 2021

This is the first step to the import feature.

New option allows to specify source location information and in the future will help to distinguish errors from different files when import other grammars will be supported.

I'll plan to move from WIP status after #89 will be merged. Now you can comment on overall design.

@hildjj
Copy link
Contributor
hildjj commented Apr 22, 2021

I really like this conceptually, but haven't started to review the patch yet. Quick question first: are you ok with delaying this until after 1.1? I think it's going to need a little bit of bake time, and I want to get 1.1 out so that the docs on the site match the code we're shipping.

@Mingun
Copy link
Member Author
Mingun commented Apr 22, 2021

Yes, sure.

…nformation

This is the first step to the import feature
@Mingun Mingun marked this pull request as ready for review April 23, 2021 18:08
@Mingun Mingun changed the title Add source option and new source key to the location information Add grammarSource option and new source key to the location information Apr 23, 2021
Copy link
Contributor
@hildjj hildjj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Minor grammar nits, then i'm +1.

@Mingun
Copy link
Member Author
Mingun commented Apr 23, 2021

Done. Please squash when merging

@hildjj hildjj merged commit 363e750 into peggyjs:main Apr 23, 2021
@Mingun Mingun deleted the source branch April 23, 2021 20:36
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.

2 participants
0