We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
This should evaluate to Closure(f → 1, if ? then f else f), and then we can't get rid of the closure at the end because there's still an f.
Closure(f → 1, if ? then f else f)
f
Problem exists in dev, but we only spotted it in #1297 because #1297 highlights the fs in the result red.
The text was updated successfully, but these errors were encountered:
Negabinary
Successfully merging a pull request may close this issue.
This should evaluate to
Closure(f → 1, if ? then f else f)
, and then we can't get rid of the closure at the end because there's still anf
.Problem exists in dev, but we only spotted it in #1297 because #1297 highlights the
f
s in the result red.The text was updated successfully, but these errors were encountered: