eliminators 0.9.6 → 0.9.7
raw patch · 2 files changed
+11/−8 lines, 2 filesdep ~basedep ~singletons-basedep ~template-haskell
Dependency ranges changed: base, singletons-base, template-haskell, th-desugar
Files
- CHANGELOG.md +3/−0
- eliminators.cabal +8/−8
CHANGELOG.md view
@@ -1,3 +1,6 @@+### 0.9.7 [2026.01.10]+* Require `singletons-base-3.5.1` and GHC 9.14.+ ### 0.9.6 [2024.12.30] * Require `singletons-base-3.5` and GHC 9.12.
eliminators.cabal view
@@ -1,5 +1,5 @@ name: eliminators-version: 0.9.6+version: 0.9.7 synopsis: Dependently typed elimination functions using singletons description: This library provides eliminators for inductive data types, leveraging the power of the @singletons@ library to allow@@ -16,7 +16,7 @@ build-type: Simple extra-source-files: CHANGELOG.md, README.md cabal-version: >=1.10-tested-with: GHC == 9.12.1+tested-with: GHC == 9.14.1 source-repository head type: git@@ -30,14 +30,14 @@ Data.Eliminator.TH Data.Eliminator.TypeLits Data.Eliminator.TypeNats- build-depends: base >= 4.21 && < 4.22+ build-depends: base >= 4.22 && < 4.23 , extra >= 1.4.2 && < 1.9- , singletons-base >= 3.5 && < 3.6+ , singletons-base >= 3.5.1 && < 3.6 , singleton-nats >= 0.4.2 && < 0.5- , template-haskell >= 2.23 && < 2.24+ , template-haskell >= 2.24 && < 2.25 , text >= 2.0.1 && < 2.2 , th-abstraction >= 0.4 && < 0.8- , th-desugar >= 1.18 && < 1.19+ , th-desugar >= 1.19 && < 1.20 hs-source-dirs: src default-language: GHC2021 ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors -fenable-th-splice-warnings@@ -58,10 +58,10 @@ PolyRecTypes VecTypes VecSpec- build-depends: base >= 4.21 && < 4.22+ build-depends: base >= 4.22 && < 4.23 , eliminators , hspec >= 2 && < 3- , singletons-base >= 3.5 && < 3.6+ , singletons-base >= 3.5.1 && < 3.6 , singleton-nats >= 0.4.2 && < 0.5 build-tool-depends: hspec-discover:hspec-discover hs-source-dirs: tests