Skip to content

Conversation

@arnej27959
Copy link
Member

  • Logic bug was causing rewrite to end up with empty OR; was (a) || (b) && c but probably meant (a || b) && c
  • Instead of replacing or ignoring last child of an or-like expression, return the RECALLS_NOTHING marker
  • Also fix unrelated bug: WeakAnd should be or-like not and-like

@bjorncs or @bratseth please review

* Logic bug was causing rewrite to end up with empty OR;
  was (a) || (b) && c but probably meant (a || b) && c
* Instead of replacing or ignoring last child of an or-like
  expression, return the RECALLS_NOTHING marker
* Also fix unrelated bug: WeakAnd should be or-like not and-like
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.

4 participants