eliminators 0.9.2 → 0.9.3
raw patch · 3 files changed
+12/−10 lines, 3 filesdep ~basedep ~singletons-basedep ~template-haskell
Dependency ranges changed: base, singletons-base, template-haskell, text, th-abstraction, th-desugar
Files
- CHANGELOG.md +3/−0
- eliminators.cabal +8/−8
- src/Data/Eliminator/TH.hs +1/−2
CHANGELOG.md view
@@ -1,3 +1,6 @@+### 0.9.3 [2023.03.12]+* Require `singletons-base-3.2` and GHC 9.6.+ ### 0.9.2 [2023.02.27] * Support building with `th-abstraction-0.5.*`.
eliminators.cabal view
@@ -1,5 +1,5 @@ name: eliminators-version: 0.9.2+version: 0.9.3 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.4.1+tested-with: GHC == 9.6.1 source-repository head type: git@@ -30,14 +30,14 @@ Data.Eliminator.TH Data.Eliminator.TypeLits Data.Eliminator.TypeNats- build-depends: base >= 4.17 && < 4.18+ build-depends: base >= 4.18 && < 4.19 , extra >= 1.4.2 && < 1.8- , singletons-base >= 3.1 && < 3.2+ , singletons-base >= 3.2 && < 3.3 , singleton-nats >= 0.4.2 && < 0.5- , template-haskell >= 2.19 && < 2.20+ , template-haskell >= 2.20 && < 2.21 , text >= 2.0.1 && < 2.1 , th-abstraction >= 0.4 && < 0.6- , th-desugar >= 1.14 && < 1.15+ , th-desugar >= 1.15 && < 1.16 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.17 && < 4.18+ build-depends: base >= 4.18 && < 4.19 , eliminators , hspec >= 2 && < 3- , singletons-base >= 3.1 && < 3.2+ , singletons-base >= 3.2 && < 3.3 , singleton-nats >= 0.4.2 && < 0.5 build-tool-depends: hspec-discover:hspec-discover hs-source-dirs: tests
src/Data/Eliminator/TH.hs view
@@ -24,7 +24,6 @@ , deriveTypeElimNamed ) where -import Control.Applicative import Control.Monad import Data.Char (isLetter, isUpper, toUpper)@@ -37,7 +36,7 @@ import Language.Haskell.TH import Language.Haskell.TH.Datatype as Datatype import Language.Haskell.TH.Datatype.TyVarBndr-import Language.Haskell.TH.Desugar hiding (NewOrData(..))+import Language.Haskell.TH.Desugar hiding (DataFlavor(..)) import Prelude.Singletons