Move eggcc to latest egglog experimental#790
Draft
oflatt wants to merge 1 commit into
Draft
Conversation
oflatt
force-pushed
the
oflatt-latest-egglog
branch
from
edbf664 to
f0dc009
Compare
Rebase onto main and migrate to the latest egglog-experimental (egglog v2,
backed by the egg-smol fork).
- Bump egglog-experimental dep 38b3898 -> 08771f9 in both crates.
- Bump rust-toolchain 1.87 -> 1.88 (egglog v2 uses stable let-chains).
- egglog v2 API migration:
- EGraph::serialize() now returns SerializeOutput; take .egraph.
Drop the per-function `unextractables` set (the API no longer exposes
it; tiger reads extractability from the serialized egraph directly).
- desugar_program() -> resolve_program() + sanitize_internal_names().
- Replace top-level `(unstable-fresh! ...)` with throwaway constructors
in test_tuple_ith (the macro only desugars inside rule actions).
- test_context_of_panics_if_two: egglog now surfaces `(panic ...)` as an
Err instead of unwinding, so assert on the error.
- Run egglog single-threaded: pin the rayon global pool to 1 thread before
creating each egraph (egglog v2 gates all parallelism on
rayon::current_num_threads() > 1).
- Accept 34 snapshot updates (output verified equivalent: all interpreter
correctness checks still pass).
- Inline format args newly flagged by clippy 1.88.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
oflatt
force-pushed
the
oflatt-latest-egglog
branch
from
9ce432d to
65245c7
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.