phino 0.0.0.22 → 0.0.0.23

raw patch · 2 files changed

+1/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

phino.cabal +1/−1
src/Condition.hs +0/−1

phino.cabal view

@@ -1,7 +1,7 @@ cabal-version:      3.0  name:               phino-version:            0.0.0.22+version:            0.0.0.23 license:            MIT synopsis:           Command-Line Manipulator of 𝜑-Calculus Expressions description:        Please see the README on GitHub at <https://github.com/objectionary/phino#readme>

src/Condition.hs view

@@ -154,7 +154,6 @@   where     partOf :: Expression -> [Binding] -> Bool     partOf expr [] = False-    partOf expr (BiTau _ (ExFormation bds) : rest) = partOf expr rest || partOf expr bds     partOf expr (BiTau _ expr' : rest) = expr == expr' || partOf expr rest     partOf expr (bd : rest) = partOf expr rest