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.

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

Remove some unreachable code Schemes/ and MPolyQuo.jl #4475

Merged
merged 2 commits into from
Jan 16, 2025

Conversation

lgoettgens
Copy link
Member

@lgoettgens lgoettgens commented Jan 16, 2025

The return statement right above the first removed piece of code got added in #3672 by @HechtiDerLachs.
The return statement right above the second removed piece of code got added in #3609 by @HechtiDerLachs.

Removing this code has no semantic changes whatsoever.

@lgoettgens lgoettgens added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Jan 16, 2025
@lgoettgens lgoettgens changed the title Remove some unreachable code in ideal_sheaf_of_singular_locus Remove some unreachable code Schemes/ and MPolyQuo.jl Jan 16, 2025
@HechtiDerLachs
Copy link
Collaborator

Looks good. At the time, we left the code for comparison, in case we would experience any regression. But it is true that we have git for this, actually. Guess I was just too lazy. But it's time to remove these things. Thank you for the work!

@lgoettgens lgoettgens merged commit 5acc196 into oscar-system:master Jan 16, 2025
26 of 28 checks passed
@lgoettgens lgoettgens deleted the lg/unreachable-code branch January 16, 2025 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: schemes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants