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

XML parser is generally broken #29

Open
propensive opened this issue Jan 20, 2023 · 0 comments
Open

XML parser is generally broken #29

propensive opened this issue Jan 20, 2023 · 0 comments
Assignees
@propensive
Labels
bug Describes something not working as intended severe Has a significant impact on many users

Comments

@propensive
Copy link
Owner

propensive commented Jan 20, 2023 •
edited
Loading

It appears that the XML parser has all kinds of problems, for example, highlighting closing tags as mismatched when they're not. It should probably be rewritten with a tail-recursive method to avoid all the copying.
@propensive propensive self-assigned this Jan 20, 2023
@propensive propensive added bug Describes something not working as intended severe Has a significant impact on many users labels Jan 20, 2023
@propensive propensive added this to the Primevère milestone Jan 20, 2023
@propensive propensive changed the title XML parsing is generally broken XML parser is generally broken Jan 20, 2023
@propensive propensive removed this from the Primevère milestone Oct 8, 2023
@propensive propensive mentioned this issue Feb 25, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@propensive propensive

Labels
bug Describes something not working as intended severe Has a significant impact on many users
Projects
Soundness
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@propensive