ad 4.5.3 → 4.5.4

raw patch · 3 files changed

+12/−2 lines, 3 filesdep ~basedep ~containersPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, containers

API changes (from Hackage documentation)

- Numeric.AD.Internal.On: instance (Numeric.AD.Mode.Mode t, Numeric.AD.Mode.Mode (Numeric.AD.Mode.Scalar t)) => Numeric.AD.Mode.Mode (Numeric.AD.Internal.On.On t)

+ Numeric.AD.Internal.On: instance (Numeric.AD.Mode.Mode t, Numeric.AD.Mode.Mode (Numeric.AD.Mode.Scalar t), GHC.Num.Num (Numeric.AD.Mode.Scalar (Numeric.AD.Mode.Scalar t))) => Numeric.AD.Mode.Mode (Numeric.AD.Internal.On.On t)

Files

CHANGELOG.markdown +10/−0
ad.cabal +1/−1
src/Numeric/AD/Internal/On.hs +1/−1

CHANGELOG.markdown view

@@ -1,3 +1,13 @@+4.5.4 [2023.02.19]+------------------+* Add a `Num (Scalar (Scalar t))` constraint to `On`'s `Mode` instance, which is+  required to make it typecheck with GHC 9.6.++  (Note that this constraint was already present implicitly due to superclass+  expansion, so this is not a breaking change. The only reason that it must be+  added explicitly with GHC 9.6 or later is due to 9.6 being more conservative+  with superclass expansion.)+ 4.5.3 [2023.01.21] ------------------ * Support building with GHC 9.6.

ad.cabal view

@@ -1,5 +1,5 @@ name:          ad-version:       4.5.3+version:       4.5.4 license:       BSD3 license-File:  LICENSE copyright:     (c) Edward Kmett 2010-2021,

src/Numeric/AD/Internal/On.hs view

@@ -37,7 +37,7 @@   , InvErf, RealFloat, Typeable   ) -instance (Mode t, Mode (Scalar t)) => Mode (On t) where+instance (Mode t, Mode (Scalar t), Num (Scalar (Scalar t))) => Mode (On t) where   type Scalar (On t) = Scalar (Scalar t)   auto = On . auto . auto   isKnownZero (On n) = isKnownZero n