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

[unstable option] show_parse_errors #5977

Open
4 tasks
waterstopper opened this issue Dec 8, 2023 · 0 comments
Open
4 tasks

[unstable option] show_parse_errors #5977

waterstopper opened this issue Dec 8, 2023 · 0 comments
Labels
unstable option tracking issue of an unstable option

Comments

@waterstopper
Copy link
Contributor

waterstopper commented Dec 8, 2023 •
edited by ytmimi
Loading

Tracking issue for unstable option: show_parse_errors. (previously known as hide_parse_errors #3390)
This option was added by #5961.

Option documentation.

See Processes.md, "Stabilising an Option":

  • Is the default value correct?
  • The design and implementation of the option are sound and clean.
  • The option is well tested, both in unit tests and, optimally, in real usage.
  • There is no open bug about the option that prevents its use.

Also see:
@waterstopper waterstopper mentioned this issue Dec 8, 2023
Merged
@ytmimi ytmimi changed the title show_parse_errors [unstable option] show_parse_errors Dec 9, 2023
@ytmimi ytmimi added the unstable option tracking issue of an unstable option label Dec 9, 2023
@ytmimi ytmimi mentioned this issue Dec 16, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
unstable option tracking issue of an unstable option
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ytmimi @waterstopper