Skip to content

Comments

Refactor parser to support error recovery#1436

Merged
KCarretto merged 2 commits intomainfrom
parser-recovery-refactor-17435696656101769598
Dec 28, 2025
Merged

Refactor parser to support error recovery#1436
KCarretto merged 2 commits intomainfrom
parser-recovery-refactor-17435696656101769598

Conversation

@google-labs-jules
Copy link
Contributor

This change refactors the Eldritch parser to support error recovery. Instead of failing on the first syntax error, the parser now synchronizes state and continues parsing, collecting errors along the way. This produces a partial AST with placeholder Error nodes, which is essential for future LSP implementation. The interpreter has been updated to strictly refuse executing any AST that contains parse errors, ensuring safety. A new integration test suite confirms that recovery works as expected for both statements and list elements.


PR created automatically by Jules for task 17435696656101769598 started by @KCarretto

- Added `ExprKind::Error` and `StmtKind::Error` to AST.
- Updated `Parser::parse` to return `(Vec<Stmt>, Vec<EldritchError>)`.
- Implemented synchronization logic for statement-level recovery.
- Implemented recovery logic for list expressions.
- Updated `Interpreter` to reject ASTs with errors before execution.
- Added `tests/parser_recovery.rs` integration test.
- Updated `tests/starlark_parity.rs` to match new parser API.
- Exported `ExprKind` and `StmtKind` from `lib.rs`.
@google-labs-jules
Copy link
Contributor Author

👋 Jules, reporting for duty! I'm here to lend a hand with this pull request.

When you start a review, I'll add a 👀 emoji to each comment to let you know I've read it. I'll focus on feedback directed at me and will do my best to stay out of conversations between you and other bots or reviewers to keep the noise down.

I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job!

For more direct control, you can switch me to Reactive Mode. When this mode is on, I will only act on comments where you specifically mention me with @jules. You can find this option in the Pull Request section of your global Jules UI settings. You can always switch back!


For security, I will only act on instructions from the user who triggered this task.

New to Jules? Learn more at jules.google/docs.

@KCarretto
Copy link
Collaborator

Jules run cargo fmt

@github-actions
Copy link
Contributor

github-actions bot commented Dec 28, 2025

Summary

Tests 📝 Passed ✅ Failed ❌ Skipped ⏭️ Other ❓ Flaky 🍂 Duration ⏱️
2744    ±0 2744    ±0 0    ±0 0    ±0 0    ±0 0    ±0 1ms    ±0

Previous Results

Build 🏗️ Result 🧪 Tests 📝 Passed ✅ Failed ❌ Skipped ⏭️ Other ❓ Flaky 🍂 Duration ⏱️
#76 2744 2744 0 0 0 0 27.0s

Insights

Average Tests per Run Total Flaky Tests Total Failed Slowest Test (p95)
2744 0 0 47.1s

Slowest Tests

Test 📝 Results 📊 Duration (avg) ⏱️ Duration (p95) ⏱️
eldritch: random::string_impl::tests::test_string_uniform 3 44.5s 47.1s
eldritch: random::string_impl::tests::test_string_uniform 3 44.5s 47.1s
eldritch: random::string_impl::tests::test_string_uniform 3 44.5s 47.1s
eldritch: random::string_impl::tests::test_string_length 3 6.5s 7.9s
eldritch: random::string_impl::tests::test_string_length 3 6.5s 7.9s
eldritch: random::string_impl::tests::test_string_length 3 6.5s 7.9s
eldritch: pivot::ncat_impl::tests::test_ncat_send_udp 3 2.5s 7.6s
eldritch: pivot::ncat_impl::tests::test_ncat_send_udp 3 2.5s 7.6s
eldritch: pivot::ncat_impl::tests::test_ncat_send_udp 3 2.5s 7.6s
eldritch: pivot::port_scan_impl::tests::test_portscan_cidrparse 3 2.5s 7.5s

🎉 No failed tests in this run. | 🍂 No flaky tests in this run.

Github Test Reporter by CTRF 💚

🔄 This comment has been updated

@google-labs-jules
Copy link
Contributor Author

Jules run cargo fmt

Running cargo fmt as requested.

- Added `ExprKind::Error` and `StmtKind::Error` to AST.
- Updated `Parser::parse` to return `(Vec<Stmt>, Vec<EldritchError>)`.
- Implemented synchronization logic for statement-level recovery.
- Implemented recovery logic for list expressions.
- Updated `Interpreter` to reject ASTs with errors before execution.
- Added `tests/parser_recovery.rs` integration test.
- Updated `tests/starlark_parity.rs` to match new parser API.
- Exported `ExprKind` and `StmtKind` from `lib.rs`.
- Applied `cargo fmt`.
@KCarretto KCarretto marked this pull request as ready for review December 28, 2025 02:12
@KCarretto KCarretto merged commit f8f2f3e into main Dec 28, 2025
7 checks passed
@KCarretto KCarretto deleted the parser-recovery-refactor-17435696656101769598 branch December 28, 2025 03:34
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.

2 participants