main: fix ghc 8.10.4 poly-kind signature

bruderj15 · Nov 27, 2024 · 75740d3 · 75740d3
1 parent e1a8f48
commit 75740d3
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-[![Hackage](https://img.shields.io/hackage/v/constrained-some.svg)](https://hackage.haskell.org/package/constrained-some) ![Static Badge](https://img.shields.io/badge/Lang-Haskell2010-blue) [![Haskell-CI](https://github.com/bruderj15/constrained-some/actions/workflows/haskell-ci.yml/badge.svg)](https://github.com/bruderj15/Hasmtlib/actions/workflows/haskell-ci.yml) [![License: GPL v3](https://img.shields.io/badge/License-MIT-blue.svg)](https://mit-license.org/)
+[![Hackage](https://img.shields.io/hackage/v/constrained-some.svg)](https://hackage.haskell.org/package/constrained-some) ![Static Badge](https://img.shields.io/badge/Lang-Haskell2010-blue) [![Haskell-CI](https://github.com/bruderj15/constrained-some/actions/workflows/haskell-ci.yml/badge.svg)](https://github.com/bruderj15/constrained-some/actions/workflows/haskell-ci.yml) [![License: GPL v3](https://img.shields.io/badge/License-MIT-blue.svg)](https://mit-license.org/)
 
 # constrained-some
 

diff --git a/constrained-some.cabal b/constrained-some.cabal
@@ -16,8 +16,7 @@ build-type:         Simple
 extra-source-files: README.md
 extra-doc-files:    CHANGELOG.md
 tested-with:
-  GHC ==8.6.5
-   || ==8.8.4
+  GHC ==8.8.4
    || ==8.10.4
    || ==9.0.2
    || ==9.2.8

diff --git a/src/Data/Some/Constraint.hs b/src/Data/Some/Constraint.hs
@@ -11,7 +11,7 @@ module Data.Some.Constraint where
 import Data.Kind
 
 -- | AllC ensures that a list of 'Constraint's is applied to a poly-kinded 'Type' @k@.
-type AllC :: forall {k}. [k -> Constraint] -> k -> Constraint
+type AllC :: forall k. [k -> Constraint] -> k -> Constraint
 type family AllC cs k :: Constraint where
   AllC '[]       k = ()
   AllC (c ': cs) k = (c k, AllC cs k)