phino 0.0.0.28 → 0.0.0.29

raw patch · 2 files changed

+5/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

phino.cabal +1/−1
src/Functions.hs +4/−0

phino.cabal view

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

src/Functions.hs view

@@ -114,4 +114,8 @@   str <- randomString pat   pure (TeExpression (DataString (strToBts str))) buildTermFromFunction "random-string" _ _ _ = throwIO (userError "Function random-string() requires exactly 1 dataizable argument")+buildTermFromFunction "size" [ArgBinding (BiMeta meta)] subst _ = do+  bds <- buildBindingThrows (BiMeta meta) subst+  pure (TeExpression (DataNumber (numToBts (fromIntegral (length bds)))))+buildTermFromFunction "size" _ _ _ = throwIO (userError "Function size() requires exactly 1 meta binding") buildTermFromFunction func _ _ _ = throwIO (userError (printf "Function %s() is not supported or does not exist" func))