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

Revert "display xqlint errors" PR #572

Merged
merged 1 commit into from
Jan 5, 2023

Conversation

joewiz
Copy link
Member

@joewiz joewiz commented Jan 3, 2023

This PR reverts commit fbbde08, which was from PR #529. That PR allowed xqlint to report any errors to the user. While this is a laudable goal, it was only half of the fix needed to address the original issue that prompted it. The other half that is still needed is to update xqlint's XQuery 3.1 parser. Until eXide's xqlint is updated, eXide issues constant "lexical analysis failed" errors - making it virtually unusable.

Thus, I'd like to revert this PR.

Of course, I also welcome @marmoure to resubmit the PR so that it can be considered when the xqlint issue is fixed. Thank you, Younes!

@joewiz joewiz requested a review from a team January 3, 2023 22:58
@marmoure
Copy link
Contributor

marmoure commented Jan 3, 2023

seems good to me

@marmoure
Copy link
Contributor

marmoure commented Jan 3, 2023

@joewiz can i be added to the review team for exide?

@joewiz
Copy link
Member Author

joewiz commented Jan 3, 2023

@marmoure Sure! I've just invited you to the xquery-contributors team - which covers eXide, among others.

@marmoure
Copy link
Contributor

marmoure commented Jan 4, 2023

unless anyone sees this PR as unfit i ll merge it in 3 days

@joewiz
Copy link
Member Author

joewiz commented Jan 5, 2023

@marmoure Thanks! We can actually go ahead and merge it. Removing an unreleased feature shouldn't be very controversial.

@marmoure marmoure merged commit d2dd7c5 into eXist-db:develop Jan 5, 2023
@joewiz joewiz deleted the revert-529-xqlint branch January 5, 2023 14:47
@joewiz
Copy link
Member Author

joewiz commented Jan 5, 2023

@marmoure Thanks for reviewing and merging!

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.

None yet

2 participants