copilot-prettyprinter 4.1 → 4.2

raw patch · 3 files changed

+7/−3 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 +1/−1

@@ -1,3 +1,7 @@+2025-01-07+        * Version bump (4.2). (#577)+        * Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. (#565)+ 2024-11-07         * Version bump (4.1). (#561) 

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-prettyprinter-version:             4.1+version:             4.2 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.1 && < 4.2+    copilot-core >= 4.2 && < 4.3    exposed-modules: 

@@ -43,7 +43,7 @@ -- -- The type is ignored, and only the expression is pretty-printed. ppUExpr :: UExpr -> Doc-ppUExpr UExpr { uExprExpr = e0 } = ppExpr e0+ppUExpr (UExpr _ e0) = ppExpr e0  -- | Pretty-print a unary operation. ppOp1 :: Op1 a b -> Doc -> Doc