Skip to content
Snippets Groups Projects
Verified Commit 97f600c6 authored by Hassan Al-Awwadi's avatar Hassan Al-Awwadi Committed by Rodrigo Mesquita
Browse files

Refactored BooleanFormula to be in line with TTG (#21592) 

There are two parts to this commit.
* We moved the definition of BooleanFormula over to L.H.S.BooleanFormula
* We parameterized the BooleanFormula over the pass

The GHC specific details of BooleanFormula remain in Ghc.Data.BooleanFormula.
Because its parameterized over the pass its no longer a functor or
traversable, but we defined bfMap and bfTraverse for the cases where we
needed fmap and traverse originally. Most other changes are just churn.

-------------------------
Metric Decrease:
    MultiLayerModulesTH_OneShot
-------------------------
parent 573cad4b
Branches wip/ttg-booleanformula
No related tags found
1 merge request!13367Refactored BooleanFormula to be in line with TTG
Pipeline #102783 canceled
Stage: tool-lint
    Stage: quick-build
      Stage: full-build
        Stage: packaging
          Stage: testing
            Stage: deploy
              Hide whitespace changes
              Inline Side-by-side
              Showing
              with 257 additions and 148 deletions
              0% or .
              You are about to add 0 people to the discussion. Proceed with caution.
              Finish editing this message first!
              Please register or to comment