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

ZIR-344: Fix semantics of if without else #189

Merged
merged 1 commit into from
Feb 19, 2025

Conversation

jacobdweightman
Copy link
Contributor

a fossilized bug
muxes need multiple arms
even lonely if

@github-actions github-actions bot changed the title Fix semantics of if without else ZIR-344: Fix semantics of if without else Feb 18, 2025
@jacobdweightman jacobdweightman force-pushed the jacob/fix-if-without-else-semantics branch from 0a41542 to 483c7df Compare February 18, 2025 21:34
Copy link
Contributor

@mars-risc0 mars-risc0 left a comment

Choose a reason for hiding this comment

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

Clever. Good catch.

@jacobdweightman jacobdweightman force-pushed the jacob/fix-if-without-else-semantics branch from 483c7df to 709e689 Compare February 19, 2025 18:13
@jacobdweightman jacobdweightman force-pushed the jacob/fix-if-without-else-semantics branch from 709e689 to 2e1a38e Compare February 19, 2025 18:14
@jacobdweightman jacobdweightman merged commit 709eddc into main Feb 19, 2025
10 checks passed
@jacobdweightman jacobdweightman deleted the jacob/fix-if-without-else-semantics branch February 19, 2025 18:52
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