phino 0.0.0.26 → 0.0.0.27

raw patch · 2 files changed

+4/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

phino.cabal +1/−1
src/XMIR.hs +3/−0

phino.cabal view

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

src/XMIR.hs view

@@ -142,6 +142,9 @@ formationBinding (BiTau (AtLabel label) expr) ctx = do   (base, children) <- expression expr ctx   pure (Just (object [("name", label), ("base", base)] children))+formationBinding (BiTau AtPhi expr) ctx = do+  (base, children) <- expression expr ctx+  pure (Just (object [("name", "φ"), ("base", base)] children)) formationBinding (BiTau AtRho _) _ = pure Nothing formationBinding (BiDelta bytes) _ = pure (Just (NodeContent (T.pack (prettyBytes bytes)))) formationBinding (BiLambda func) _ = pure (Just (object [("name", "λ")] []))