From b2f616bbe705e64051f2ccc29e532cc41c0eaf069fb57332e37efc79b3a3463e Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Tue, 7 May 2024 21:00:45 +0000 Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-9.8.x package:ghc-kan-extensions revision:3, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-kan-extensions?expand=0&rev=37 --- ghc-kan-extensions.changes | 19 +++++++ ghc-kan-extensions.spec | 8 +-- kan-extensions-5.2.5.tar.gz | 3 -- kan-extensions-5.2.6.tar.gz | 3 ++ kan-extensions.cabal | 102 ------------------------------------ 5 files changed, 24 insertions(+), 111 deletions(-) delete mode 100644 kan-extensions-5.2.5.tar.gz create mode 100644 kan-extensions-5.2.6.tar.gz delete mode 100644 kan-extensions.cabal diff --git a/ghc-kan-extensions.changes b/ghc-kan-extensions.changes index eb127d2..7d251a4 100644 --- a/ghc-kan-extensions.changes +++ b/ghc-kan-extensions.changes @@ -1,3 +1,22 @@ +------------------------------------------------------------------- +Sat May 4 15:43:57 UTC 2024 - Peter Simons + +- Update kan-extensions to version 5.2.6. + 5.2.6 [2024.05.04] + ------------------ + * Drop support for GHC 8.2 and earlier. + * Generalize instances in `Control.Monad.Codensity` to be of the form: + + ```hs + instance (f ~~ f', MonadFail f') => MonadFail (Codensity (f :: k -> TYPE rep)) + ``` + + This avoids having to constrain `k ~ Type` and `rep ~ LiftedRep`, which could potentially harm type inference. + * Explicitly implement `liftA2` in the `Applicative` instance for `Data.Functor.Day.Curried`. + * Add an `Adjunction` instance for `Data.Functor.Day`. + * Add `Adjunction` and `Divisible` instances for `Data.Functor.Contravariant.Day`. + * Add an `Apply` instance for `Data.Functor.Day.Curried`. + ------------------------------------------------------------------- Sat Sep 30 13:17:42 UTC 2023 - Peter Simons diff --git a/ghc-kan-extensions.spec b/ghc-kan-extensions.spec index 549528b..21aa014 100644 --- a/ghc-kan-extensions.spec +++ b/ghc-kan-extensions.spec @@ -1,7 +1,7 @@ # # spec file for package ghc-kan-extensions # -# Copyright (c) 2023 SUSE LLC +# Copyright (c) 2024 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -19,13 +19,12 @@ %global pkg_name kan-extensions %global pkgver %{pkg_name}-%{version} Name: ghc-%{pkg_name} -Version: 5.2.5 +Version: 5.2.6 Release: 0 Summary: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads License: BSD-3-Clause URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz -Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-adjunctions-devel BuildRequires: ghc-adjunctions-prof @@ -54,8 +53,6 @@ BuildRequires: ghc-semigroupoids-devel BuildRequires: ghc-semigroupoids-prof BuildRequires: ghc-tagged-devel BuildRequires: ghc-tagged-prof -BuildRequires: ghc-transformers-compat-devel -BuildRequires: ghc-transformers-compat-prof BuildRequires: ghc-transformers-devel BuildRequires: ghc-transformers-prof ExcludeArch: %{ix86} @@ -92,7 +89,6 @@ This package provides the Haskell %{pkg_name} profiling library. %prep %autosetup -n %{pkg_name}-%{version} -cp -p %{SOURCE1} %{pkg_name}.cabal %build %ghc_lib_build diff --git a/kan-extensions-5.2.5.tar.gz b/kan-extensions-5.2.5.tar.gz deleted file mode 100644 index cac0330..0000000 --- a/kan-extensions-5.2.5.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22 -size 22205 diff --git a/kan-extensions-5.2.6.tar.gz b/kan-extensions-5.2.6.tar.gz new file mode 100644 index 0000000..fa5fff7 --- /dev/null +++ b/kan-extensions-5.2.6.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fa82283c1c9ac3dc0951b7ca9f5b2e6f13d8331c20154ebb222b509824eeeccc +size 21718 diff --git a/kan-extensions.cabal b/kan-extensions.cabal deleted file mode 100644 index 935b6e7..0000000 --- a/kan-extensions.cabal +++ /dev/null @@ -1,102 +0,0 @@ -name: kan-extensions -category: Data Structures, Monads, Comonads, Functors -version: 5.2.5 -x-revision: 2 -license: BSD3 -cabal-version: >= 1.10 -license-file: LICENSE -author: Edward A. Kmett -maintainer: Edward A. Kmett -stability: provisional -homepage: http://github.com/ekmett/kan-extensions/ -bug-reports: http://github.com/ekmett/kan-extensions/issues -copyright: Copyright (C) 2008-2016 Edward A. Kmett -synopsis: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads -description: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads. -build-type: Simple -tested-with: GHC == 7.4.2 - , GHC == 7.6.3 - , GHC == 7.8.4 - , GHC == 7.10.3 - , GHC == 8.0.2 - , GHC == 8.2.2 - , GHC == 8.4.4 - , GHC == 8.6.5 - , GHC == 8.8.4 - , GHC == 8.10.7 - , GHC == 9.0.2 - , GHC == 9.2.2 - -extra-source-files: - .gitignore - .ghci - .vim.custom - CHANGELOG.markdown - README.markdown - include/kan-extensions-common.h - -source-repository head - type: git - location: git://github.com/ekmett/kan-extensions.git - -library - hs-source-dirs: src - include-dirs: include - includes: kan-extensions-common.h - - other-extensions: - CPP - MultiParamTypeClasses - GADTs - Rank2Types, - FlexibleInstances - FlexibleContexts - UndecidableInstances - TypeFamilies - - build-depends: - adjunctions >= 4.2 && < 5, - array >= 0.3.0.2 && < 0.6, - base >= 4.4 && < 5, - comonad >= 4 && < 6, - containers >= 0.4 && < 0.8, - contravariant >= 1 && < 2, - distributive >= 0.2.2 && < 1, - invariant >= 0.1 && < 1, - free >= 4 && < 6, - mtl >= 2.0.1 && < 2.4, - profunctors >= 5 && < 6, - semigroupoids >= 4 && < 7, - tagged >= 0.7.2 && < 1, - transformers >= 0.2 && < 0.7, - transformers-compat >= 0.3 && < 0.8 - - exposed-modules: - Control.Comonad.Density - Control.Monad.Co - Control.Monad.Codensity - Data.Functor.Contravariant.Day - Data.Functor.Contravariant.Yoneda - Data.Functor.Contravariant.Coyoneda - Data.Functor.Day - Data.Functor.Day.Curried - Data.Functor.Invariant.Day - Data.Functor.Kan.Lan - Data.Functor.Kan.Ran - Data.Functor.Yoneda - Data.Functor.Coyoneda - - ghc-options: -Wall - default-language: Haskell2010 - - if impl(ghc >= 7.10) - ghc-options: -fno-warn-trustworthy-safe - - -- See https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0#base-4.9.0.0 - if impl(ghc >= 8.0) - ghc-options: -Wcompat -Wnoncanonical-monad-instances - - if !impl(ghc >= 8.8) - ghc-options: -Wnoncanonical-monadfail-instances - else - build-depends: fail >= 4.9 && < 5