Skip to content
  • Hassan Al-Awwadi's avatar
    Refactored BooleanFormula to be in line with TTG (#21592) · 97f600c6
    Hassan Al-Awwadi authored and Rodrigo Mesquita's avatar Rodrigo Mesquita committed
    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
    -------------------------
    97f600c6