eliminators 0.9.4 → 0.9.5

raw patch · 8 files changed

+18/−9 lines, 8 filesdep ~basedep ~extradep ~singletons-base

Dependency ranges changed: base, extra, singletons-base, template-haskell, th-desugar

Files

CHANGELOG.md +3/−0
eliminators.cabal +9/−9
tests/DecideTypes.hs +1/−0
tests/EqualityTypes.hs +1/−0
tests/GADTSpec.hs +1/−0
tests/ListTypes.hs +1/−0
tests/PolyRecTypes.hs +1/−0
tests/VecTypes.hs +1/−0

CHANGELOG.md view

@@ -1,3 +1,6 @@+### 0.9.5 [2024.05.12]+* Require `singletons-base-3.4` and GHC 9.10.+ ### 0.9.4 [2023.10.13] * Require `singletons-base-3.3` and GHC 9.8.

eliminators.cabal view

@@ -1,5 +1,5 @@ name:                eliminators-version:             0.9.4+version:             0.9.5 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.8.1+tested-with:         GHC == 9.10.1  source-repository head   type:                git@@ -30,14 +30,14 @@                        Data.Eliminator.TH                        Data.Eliminator.TypeLits                        Data.Eliminator.TypeNats-  build-depends:       base             >= 4.19  && < 4.20+  build-depends:       base             >= 4.20  && < 4.21                      , extra            >= 1.4.2 && < 1.8-                     , singletons-base  >= 3.3   && < 3.4+                     , singletons-base  >= 3.4   && < 3.5                      , singleton-nats   >= 0.4.2 && < 0.5-                     , template-haskell >= 2.21  && < 2.22+                     , template-haskell >= 2.22  && < 2.23                      , text             >= 2.0.1 && < 2.2-                     , th-abstraction   >= 0.4   && < 0.7-                     , th-desugar       >= 1.16  && < 1.17+                     , th-abstraction   >= 0.4   && < 0.8+                     , th-desugar       >= 1.17  && < 1.18   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.19  && < 4.20+  build-depends:       base            >= 4.20  && < 4.21                      , eliminators                      , hspec           >= 2     && < 3-                     , singletons-base >= 3.3   && < 3.4+                     , singletons-base >= 3.4   && < 3.5                      , singleton-nats  >= 0.4.2 && < 0.5   build-tool-depends:  hspec-discover:hspec-discover   hs-source-dirs:      tests

tests/DecideTypes.hs view

@@ -1,6 +1,7 @@ {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} {-# OPTIONS_GHC -Wno-unused-foralls #-}

tests/EqualityTypes.hs view

@@ -1,6 +1,7 @@ {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} {-# OPTIONS_GHC -Wno-orphans #-}

tests/GADTSpec.hs view

@@ -1,6 +1,7 @@ {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} module GADTSpec where

tests/ListTypes.hs view

@@ -1,5 +1,6 @@ {-# LANGUAGE DataKinds #-} {-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} module ListTypes where

tests/PolyRecTypes.hs view

@@ -1,6 +1,7 @@ {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} module PolyRecTypes where

tests/VecTypes.hs view

@@ -2,6 +2,7 @@ {-# LANGUAGE DataKinds #-} {-# LANGUAGE NoStarIsType #-} {-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} module VecTypes where