eliminators 0.9.5 → 0.9.6
raw patch · 2 files changed
+12/−9 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 +9/−9
CHANGELOG.md view
@@ -1,3 +1,6 @@+### 0.9.6 [2024.12.30]+* Require `singletons-base-3.5` and GHC 9.12.+ ### 0.9.5 [2024.05.12] * Require `singletons-base-3.4` and GHC 9.10.
eliminators.cabal view
@@ -1,5 +1,5 @@ name: eliminators-version: 0.9.5+version: 0.9.6 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.10.1+tested-with: GHC == 9.12.1 source-repository head type: git@@ -30,14 +30,14 @@ Data.Eliminator.TH Data.Eliminator.TypeLits Data.Eliminator.TypeNats- build-depends: base >= 4.20 && < 4.21- , extra >= 1.4.2 && < 1.8- , singletons-base >= 3.4 && < 3.5+ build-depends: base >= 4.21 && < 4.22+ , extra >= 1.4.2 && < 1.9+ , singletons-base >= 3.5 && < 3.6 , singleton-nats >= 0.4.2 && < 0.5- , template-haskell >= 2.22 && < 2.23+ , template-haskell >= 2.23 && < 2.24 , text >= 2.0.1 && < 2.2 , th-abstraction >= 0.4 && < 0.8- , th-desugar >= 1.17 && < 1.18+ , th-desugar >= 1.18 && < 1.19 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.20 && < 4.21+ build-depends: base >= 4.21 && < 4.22 , eliminators , hspec >= 2 && < 3- , singletons-base >= 3.4 && < 3.5+ , singletons-base >= 3.5 && < 3.6 , singleton-nats >= 0.4.2 && < 0.5 build-tool-depends: hspec-discover:hspec-discover hs-source-dirs: tests