From aa00e75e2703eaef039bd743d4f25b99a62374ec Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Mon, 12 May 2025 09:26:08 +0200 Subject: Fix almost all 'cabal check' warnings and errors --- dependent-enummap.cabal | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/dependent-enummap.cabal b/dependent-enummap.cabal index 675fa97..dc9be8e 100644 --- a/dependent-enummap.cabal +++ b/dependent-enummap.cabal @@ -1,8 +1,11 @@ cabal-version: 3.0 name: dependent-enummap version: 0.1.0.0 +synopsis: A generalisation of IntMap to dependent types +description: A generalisation of IntMap to dependent key and value types. The key type needs to be an instance of class Enum1, which is a generalisation of class Enum, in turn. Most of the API of IntMap is supported, usually by wrapping IntMap operations in cheap coercions and/or not so cheap optional runtime checks expressed as assertions. license: BSD-3-Clause author: Tom Smeding +category: Data, Dependent Types build-type: Simple library @@ -11,10 +14,10 @@ library Data.Dependent.EnumMap.Strict.Internal -- Data.Dependent.EnumMap.Strict.Unsafe build-depends: - base >=4.15, - containers, - dependent-sum, - some, + base >= 4.15 && < 4.22, + containers >= 0.6 && < 0.9, + dependent-sum >= 0.7 && < 0.8, + some >= 1 && < 2, hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall -- cgit v1.2.3-70-g09d2