From 75740d3cecace1676a099d4b8efd0d313b00d7e4 Mon Sep 17 00:00:00 2001 From: bruderj15 Date: Wed, 27 Nov 2024 13:14:12 +0100 Subject: [PATCH] main: fix ghc 8.10.4 poly-kind signature --- README.md | 2 +- constrained-some.cabal | 3 +-- src/Data/Some/Constraint.hs | 2 +- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index b1e8091..e837654 100644 --- 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 index bde2f02..e4f7128 100644 --- 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 index 9ced89d..284ecd7 100644 --- 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)