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.

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

Remove dependency on UnicodeData.txt #486

Closed
Witiko opened this issue Aug 19, 2024 · 0 comments · Fixed by #499
Closed

Remove dependency on UnicodeData.txt #486

Witiko opened this issue Aug 19, 2024 · 0 comments · Fixed by #499
Assignees
@Witiko
Labels
lua Related to the Lua interface and implementation technical debt Related to code smells and refactoring
Milestone
3.7.1

Comments

@Witiko
Copy link
Owner

Witiko commented Aug 19, 2024 •
edited
Loading

A PR that closes this ticket should make the following changes:

  • Precompile parsers.punctuation to a separate Lua file.
  • Remove dependency on UnicodeData.txt.

These changes will close #458 and continue #402 and #492.
@Witiko Witiko added lua Related to the Lua interface and implementation technical debt Related to code smells and refactoring labels Aug 19, 2024
@Witiko Witiko added this to the 3.7.1 milestone Aug 19, 2024
@Witiko Witiko self-assigned this Aug 19, 2024
@Witiko Witiko mentioned this issue Aug 19, 2024
Merged
This was referenced Aug 28, 2024
Open
Closed
@Witiko Witiko mentioned this issue Sep 16, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Witiko Witiko

Labels
lua Related to the Lua interface and implementation technical debt Related to code smells and refactoring
Projects
None yet
Milestone
3.7.1
Development

Successfully merging a pull request may close this issue.

Remove dependency on UnicodeData.txt Witiko/markdown
1 participant
@Witiko