Skip to content

refactor(lean): rename Result to RustM#1768

Merged
abentkamp merged 4 commits intomainfrom
alex/rustm
Nov 20, 2025
Merged

refactor(lean): rename Result to RustM#1768
abentkamp merged 4 commits intomainfrom
alex/rustm

Conversation

@abentkamp
Copy link
Copy Markdown
Contributor

This PR renames the monad previously called Result into RustM. This is to avoid a name clash with Rust's Result.

@abentkamp abentkamp requested a review from a team as a code owner November 17, 2025 09:13
@abentkamp
Copy link
Copy Markdown
Contributor Author

I am not sure how and whether I should regenerate test-harness/src/snapshots.

Copy link
Copy Markdown
Contributor

@clementblaudeau clementblaudeau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This change has been needed for a while! The new name is clearer and will avoid confusion. Thanks.

Co-authored-by: Clément Blaudeau <40171892+clementblaudeau@users.noreply.github.com>
@abentkamp abentkamp added this pull request to the merge queue Nov 20, 2025
Merged via the queue into main with commit 64d0f1d Nov 20, 2025
17 of 19 checks passed
@abentkamp abentkamp deleted the alex/rustm branch November 20, 2025 10:57
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.

feat(proof-lib/lean): Rename the Result monad into something not used by Rust

2 participants