Idea detail
recovery_vs_budget
reqlan rq/language/parser_lexer.rq:12
block
Summary
no_name_idea_safe_warning and import_error_recovery keep a *finished* parse usable after local mistakes.
They do not help when lex / parse never returns — that failure mode is parse_budget_timeout.
Workspace load still isolates per-document throws so one bad file cannot abort LSP init; the budget turns non-termination into the same “ leave this file unloaded ” outcome, with diagnostics.
Navigation
Attributes
No attributes declared.
Ancestor context
No ancestor chain recorded.
Outbound references
| Kind | Idea | Path | Snippet |
|---|---|---|---|
| references | no_name_idea_safe_warning | reqlan rq/language/syntax.rq | no_name_idea_safe_warning |
| references | import_error_recovery | reqlan rq/language/imports.rq | import_error_recovery |
| references | parse_budget_timeout | reqlan rq/language/parser_lexer.rq | parse_budget_timeout |
| comment_link | recovery_vs_budget | reqlan rq/language/crates/reqlan-parse/src/parser.rs | //! rq:recovery_vs_budget |
| comment_link | recovery_vs_budget | reqlan rq/language/crates/reqlan-parse/tests/parser.rs | // rq:recovery_vs_budget |
Inbound references
| Kind | Idea | Path | Snippet |
|---|---|---|---|
| references | parser_rust | reqlan rq/core_analysis/rust_port.rq | recovery_vs_budget |
Unresolved references
| Kind | Idea | Path | Snippet |
|---|---|---|---|
| None | |||
Local graph
Initialising graph…