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

chore: migrate from pegjs to peggyjs, its successor #1826

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

cchepelov
Copy link
Contributor

@cchepelov cchepelov commented Mar 11, 2024

pegjs has been discontinued and is now taken over by https://peggyjs.org peggy

This PR performs the migration

as pegjs-loader's equivalent in peggyjs seems to have been discontinued long ago, I've migrated to ahead-of-time compilation of grammars, as advised by the peggyjs documentation.

@cchepelov cchepelov force-pushed the chore/migrate-to-peggyjs branch from cbfd116 to b9ce1ec Compare March 11, 2024 21:33
@cchepelov cchepelov force-pushed the chore/migrate-to-peggyjs branch from b9ce1ec to c195348 Compare March 12, 2024 06:09
@taozhi8833998 taozhi8833998 added this to the 5.1.0 milestone Mar 25, 2024
@taozhi8833998 taozhi8833998 added the enhancement New feature or request label Mar 25, 2024
@taozhi8833998 taozhi8833998 modified the milestones: 5.1.0, 5.2.0 Apr 30, 2024
@taozhi8833998 taozhi8833998 modified the milestones: 5.2.0, 5.3.0 Jun 3, 2024
@taozhi8833998 taozhi8833998 modified the milestones: 5.3.0, 5.4.0 Jul 31, 2024
@taozhi8833998 taozhi8833998 modified the milestones: 5.3.1, 5.4.0 Aug 7, 2024
@taozhi8833998 taozhi8833998 modified the milestones: 5.3.2, 5.4.0 Sep 2, 2024
@taozhi8833998 taozhi8833998 removed this from the 5.3.3 milestone Oct 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants