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

Add the PEG.js language #1902

Closed
wants to merge 1 commit into
base: master
from

Conversation

Projects
None yet
3 participants
@ForbesLindesay
Contributor

ForbesLindesay commented Oct 22, 2013

You can see a demonstration of pegjs on http://pegjs.majda.cz/online This creates a syntax highlighting mode for the language.

@marijnh

This comment has been minimized.

Show comment
Hide comment
@marijnh

marijnh Oct 24, 2013

Member

Nice. Could this be a generalized PEG mode where the language to fill in within the braces is configurable, or do PEG implementations in different languages also have syntactic differences outside of the braces?

Member

marijnh commented Oct 24, 2013

Nice. Could this be a generalized PEG mode where the language to fill in within the braces is configurable, or do PEG implementations in different languages also have syntactic differences outside of the braces?

@ForbesLindesay

This comment has been minimized.

Show comment
Hide comment
@ForbesLindesay

ForbesLindesay Oct 28, 2013

Contributor

I don't think it's all that standardized at the moment, unfortunately. It seems to be pretty implementation specific.

Contributor

ForbesLindesay commented Oct 28, 2013

I don't think it's all that standardized at the moment, unfortunately. It seems to be pretty implementation specific.

@marijnh

This comment has been minimized.

Show comment
Hide comment
@marijnh

marijnh Oct 29, 2013

Member

I see. In that case, I've renamed the mode pegjs (see acb16d4) to prevent future confusion with other PEG dialects, and merged it. Thanks!

Member

marijnh commented Oct 29, 2013

I see. In that case, I've renamed the mode pegjs (see acb16d4) to prevent future confusion with other PEG dialects, and merged it. Thanks!

@marijnh marijnh closed this Oct 29, 2013

@ForbesLindesay

This comment has been minimized.

Show comment
Hide comment
@ForbesLindesay

ForbesLindesay Oct 29, 2013

Contributor

Awesome, thanks

Contributor

ForbesLindesay commented Oct 29, 2013

Awesome, thanks

@polkovnikov-ph

This comment has been minimized.

Show comment
Hide comment
@polkovnikov-ph

polkovnikov-ph Jan 26, 2014

pegjs/website#7
In case someone is interested, I've made a pull request to PEG.js website, so that it will use CodeMirror and PEG.js mode. Guys, you rock!

polkovnikov-ph commented Jan 26, 2014

pegjs/website#7
In case someone is interested, I've made a pull request to PEG.js website, so that it will use CodeMirror and PEG.js mode. Guys, you rock!

@ForbesLindesay ForbesLindesay deleted the ForbesLindesay:peg branch Jan 27, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment