Skip to content

Core: add absorb rules for binary or/and (#16351)

Sylvain Henry requested to merge hsyl20/ghc:hsyl20/absorb-or-and into master

Rules:

  • x or (x and y) ==> x
  • x and (x or y) ==> x

Merge request reports