phino 0.0.119 → 0.0.120

raw patch · 3 files changed

+3/−5 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

phino.cabal +1/−1
src/Rule.hs +1/−0
src/XMIR.hs +1/−4

phino.cabal view

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

src/Rule.hs view

@@ -126,6 +126,7 @@     notAsset (BiDelta _) = False     notAsset (BiLambda _) = False     notAsset (BiVoid AtRho) = False+    notAsset (BiTau AtRho _) = False     notAsset _ = True numToInt (Y.Literal num) _ = Just num numToInt _ _ = Nothing

src/XMIR.hs view

@@ -485,10 +485,7 @@           if null (cur C.$/ C.element (toName "o"))             then pure ExRoot             else throwIO (InvalidXMIRFormat "Application of 'Φ' is illegal in XMIR" cur)-        "⊥" ->-          if null (cur C.$/ C.element (toName "o"))-            then pure ExTermination-            else throwIO (InvalidXMIRFormat "Application of '⊥' is illegal in XMIR" cur)+        "⊥" -> xmirToApplication ExTermination (cur C.$/ C.element (toName "o")) fqn         'Φ' : '.' : rest -> xmirToExpression' ExRoot "Φ" rest cur fqn         'ξ' : '.' : rest -> xmirToExpression' ExXi "ξ" rest cur fqn         _ -> throwIO (InvalidXMIRFormat "The @base attribute must be either ['∅'|'Φ'] or start with ['Φ.'|'ξ.'|'.']" cur)