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.

Sign up for GitHub

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

Jump to bottom

most operators don't propagate unknowns #6033

Closed
sanderr opened this issue May 24, 2023 · 0 comments · Fixed by #6806
Closed

most operators don't propagate unknowns #6033

sanderr opened this issue May 24, 2023 · 0 comments · Fixed by #6806
Assignees
@sanderr
Labels
bug Something isn't working compiler
Milestone
iso7

Comments

@sanderr
Copy link
Contributor

sanderr commented May 24, 2023 •
edited

e.g. And and Or don't special-case Unknown at all. They just check for its truthiness, thereby considering it to be true. The same goes for many of the other operators. Confirmed for (non-exhaustive list):

  • < rejects Unknown
  • attribute reference rejects Unknown
@sanderr sanderr added bug Something isn't working compiler labels May 24, 2023
@sanderr sanderr mentioned this issue May 26, 2023
Open
2 tasks
@sanderr sanderr added this to the iso7 milestone Nov 28, 2023
@sanderr sanderr self-assigned this Nov 28, 2023
This was referenced Dec 4, 2023
Closed
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sanderr sanderr

Labels
bug Something isn't working compiler
Projects
None yet
Milestone
iso7
Development

Successfully merging a pull request may close this issue.

Resultcollector refactor fixed inmanta/inmanta-core
1 participant
@sanderr