phino 0.0.93 → 0.0.94

raw patch · 3 files changed

+5/−5 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

phino.cabal +1/−1
src/Render.hs +2/−2
test/CLISpec.hs +2/−2

phino.cabal view

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

src/Render.hs view

@@ -227,7 +227,7 @@  instance Render SET where   render ST_BINDING{..} = render binding-  render ST_ATTRIBUTES{..} = "[ " <> T.intercalate ", " (map render attrs) <> " ]"+  render ST_ATTRIBUTES{..} = "[ " <> T.intercalate " \\char44{} " (map render attrs) <> " ]"  instance Render LOGIC_OPERATOR where   render AND = "\\;\\text{and}\\;"@@ -269,7 +269,7 @@   render CO_FORMATION{..} = "\\phinoIsFormation{ " <> render expr <> " }"   render CO_DISJOINT{..} =     "[ "-      <> T.intercalate ", " (map render attrs)+      <> T.intercalate " \\char44{} " (map render attrs)       <> " ] \\cap \\lparen "       <> T.intercalate " \\cup " (map render groups)       <> " \\rparen = \\emptyset"

test/CLISpec.hs view

@@ -1112,7 +1112,7 @@             , "\\end{phinoDataizationInference}"             , "\\begin{phinoDataizationInference}"             , "  \\phinoName{box}"-            , "  \\phinoCondition{ [ D, L ] \\cap \\lparen B_1 \\cup B_2 \\rparen = \\emptyset }"+            , "  \\phinoCondition{ [ D \\char44{} L ] \\cap \\lparen B_1 \\cup B_2 \\rparen = \\emptyset }"             , "  \\phinoPremise{ \\phinoContextualize{ e_1 }{ [[ B_1, @ -> e_1, B_2 ]] }{ n } }"             , "  \\phinoPremise{ \\phinoNormalize{ n }{ n_1 } }"             , "  \\phinoPremise{ \\phinoDataize{ n_1 }{ e }{ s_1 }{ \\delta }{ s_2 } }"@@ -1127,7 +1127,7 @@             , "\\end{phinoDataizationInference}"             , "\\begin{phinoDataizationInference}"             , "  \\phinoName{none}"-            , "  \\phinoCondition{ [ D, L, @ ] \\cap \\lparen B \\rparen = \\emptyset }"+            , "  \\phinoCondition{ [ D \\char44{} L \\char44{} @ ] \\cap \\lparen B \\rparen = \\emptyset }"             , "  \\phinoConclusion{ \\phinoDataize{ [[ B ]] }{ e }{ s }{ |--| }{ s } }"             , "\\end{phinoDataizationInference}"             , "\\begin{phinoDataizationInference}"