copilot-prettyprinter 4.2 → 4.3

raw patch · 3 files changed

+13/−4 lines, 3 filesdep ~copilot-corePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: copilot-core

API changes (from Hackage documentation)

Files

• CHANGELOG +4/−0
• copilot-prettyprinter.cabal +2/−2
• src/Copilot/PrettyPrint.hs +7/−2

@@ -1,3 +1,7 @@+2025-03-07+        * Version bump (4.3). (#604)+        * Update pretty-printing to handle Props. (#254)+ 2025-01-07         * Version bump (4.2). (#577)         * Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. (#565)

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-prettyprinter-version:             4.2+version:             4.3 synopsis:            A prettyprinter of Copilot Specifications. description:   A prettyprinter of Copilot specifications.@@ -45,7 +45,7 @@     base   >= 4.9 && < 5,     pretty >= 1.0 && < 1.2, -    copilot-core >= 4.2 && < 4.3+    copilot-core >= 4.3 && < 4.4    exposed-modules: 

@@ -175,10 +175,15 @@ ppProperty   Property     { propertyName     = name-    , propertyExpr     = e }+    , propertyProp     = p }   =   text "property \"" <> text name <> text "\""   <+> text "="-  <+> ppExpr e+  <+> ppProp p++-- | Pretty-print a Copilot proposition.+ppProp :: Prop -> Doc+ppProp (Forall e) = text "forall" <+> parens (ppExpr e)+ppProp (Exists e) = text "exists" <+> parens (ppExpr e)  -- | Pretty-print a Copilot specification, in the following order: --