copilot-core 4.4 → 4.5

raw patch · 3 files changed

+6/−6 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Copilot.Core.Expr: [uExprExpr] :: UExpr -> Expr a

- Copilot.Core.Expr: [uExprType] :: UExpr -> Type a

Files

CHANGELOG +4/−0
copilot-core.cabal +1/−1
src/Copilot/Core/Expr.hs +1/−5

CHANGELOG view

@@ -1,3 +1,7 @@+2025-07-07+        * Version bump (4.5). (#642)+        * Remove deprecated fields of Copilot.Core.Expr.UExpr. (#636)+ 2025-05-07         * Version bump (4.4). (#618)         * Remove deprecated Copilot.Core.Type.uTypeType. (#615)

copilot-core.cabal view

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-core-version:             4.4+version:             4.5 synopsis:            An intermediate representation for Copilot. description:   Intermediate representation for Copilot.

src/Copilot/Core/Expr.hs view

@@ -67,8 +67,4 @@ -- | A untyped expression that carries the information about the type of the -- expression as a value, as opposed to exposing it at type level (using an -- existential).-data UExpr = forall a . Typeable a => UExpr-  { uExprType :: Type a-  , uExprExpr :: Expr a-  }-{-# DEPRECATED uExprType, uExprExpr "These fields are deprecated in Copilot 4.2. Use pattern matching instead." #-}+data UExpr = forall a . Typeable a => UExpr (Type a) (Expr a)