Hello community, here is the log from the commit of package ghc-logict for openSUSE:Factory checked in at 2020-09-15 16:18:50 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-logict (Old) and /work/SRC/openSUSE:Factory/.ghc-logict.new.4249 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-logict" Tue Sep 15 16:18:50 2020 rev:10 rq:833290 version:0.7.0.3 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-logict/ghc-logict.changes 2019-12-27 13:54:53.248702342 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-logict.new.4249/ghc-logict.changes 2020-09-15 16:18:56.566059839 +0200 @@ -2 +2 @@ -Fri Nov 8 16:14:09 UTC 2019 - Peter Simons <[email protected]> +Thu Aug 27 02:04:15 UTC 2020 - [email protected] @@ -4 +4,2 @@ -- Drop obsolete group attributes. +- Update logict to version 0.7.0.3. + # 0.7.0.3 @@ -6,15 +7 @@ -------------------------------------------------------------------- -Sat Jul 20 02:02:44 UTC 2019 - [email protected] - -- Update logict to version 0.7.0.2. - # 0.7.0.2 - - * Add `Safe` pragmas. - -------------------------------------------------------------------- -Mon Jul 8 02:01:00 UTC 2019 - [email protected] - -- Update logict to version 0.7.0.1. - # 0.7.0.1 - - * Fix `MonadReader r (LogicT m)` instance again. + * Support GHC 9.0. @@ -23 +10 @@ -Sun Jun 30 02:01:08 UTC 2019 - [email protected] +Tue Aug 25 10:19:22 UTC 2020 - [email protected] @@ -25,38 +12 @@ -- Update logict to version 0.7.0.0. - # 0.7.0.0 - - * Remove unlawful `MonadLogic (Writer T w m)` instances. - * Fix `MonadReader r (LogicT m)` instance. - * Move `lnot` into `MonadLogic` class. - -------------------------------------------------------------------- -Wed May 1 02:03:14 UTC 2019 - [email protected] - -- Update logict to version 0.6.0.3. - Upstream added a new change log file in this release. With no - previous version to compare against, the automatic updater cannot - reliable determine the relevante entries for this release. - -------------------------------------------------------------------- -Sat Oct 20 11:31:41 UTC 2018 - Peter Simons <[email protected]> - -- Use https URL to refer to bugs.opensuse.org. - -------------------------------------------------------------------- -Wed Jul 18 14:26:31 UTC 2018 - [email protected] - -- Cosmetic: replace tabs with blanks, strip trailing white space, - and update copyright headers with spec-cleaner. - -------------------------------------------------------------------- -Wed May 16 13:06:56 UTC 2018 - [email protected] - -- Prefer the new %license attribute over %doc. - -------------------------------------------------------------------- -Thu Aug 3 15:38:38 UTC 2017 - [email protected] - -- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf. - -------------------------------------------------------------------- -Sun Jul 10 17:30:12 UTC 2016 - [email protected] +- Add logict at version 0.7.0.2. @@ -64 +13,0 @@ -- Update to version 0.6.0.2 revision 0 with cabal2obs. Old: ---- logict-0.7.0.2.tar.gz New: ---- logict-0.7.0.3.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-logict.spec ++++++ --- /var/tmp/diff_new_pack.KAznuj/_old 2020-09-15 16:18:58.398061593 +0200 +++ /var/tmp/diff_new_pack.KAznuj/_new 2020-09-15 16:18:58.398061593 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-logict # -# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2020 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -19,7 +19,7 @@ %global pkg_name logict %bcond_with tests Name: ghc-%{pkg_name} -Version: 0.7.0.2 +Version: 0.7.0.3 Release: 0 Summary: A backtracking logic-programming monad License: BSD-3-Clause @@ -50,7 +50,7 @@ This package provides the Haskell %{pkg_name} library development files. %prep -%setup -q -n %{pkg_name}-%{version} +%autosetup -n %{pkg_name}-%{version} %build %ghc_lib_build ++++++ logict-0.7.0.2.tar.gz -> logict-0.7.0.3.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/logict-0.7.0.2/Control/Monad/Logic/Class.hs new/logict-0.7.0.3/Control/Monad/Logic/Class.hs --- old/logict-0.7.0.2/Control/Monad/Logic/Class.hs 2019-07-10 21:07:39.000000000 +0200 +++ new/logict-0.7.0.3/Control/Monad/Logic/Class.hs 2020-08-26 22:57:41.000000000 +0200 @@ -3,18 +3,14 @@ -- Module : Control.Monad.Logic.Class -- Copyright : (c) Dan Doel -- License : BSD3 --- --- Maintainer : [email protected] --- Stability : experimental --- Portability : non-portable (multi-parameter type classes) +-- Maintainer : Andrew Lelechenko <[email protected]> -- -- A backtracking, logic programming monad. -- -- Adapted from the paper --- /Backtracking, Interleaving, and Terminating --- Monad Transformers/, by --- Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry --- (<http://okmij.org/ftp/papers/LogicT.pdf>) +-- /Backtracking, Interleaving, and Terminating Monad Transformers/, +-- by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry +-- (<http://okmij.org/ftp/papers/LogicT.pdf>). ------------------------------------------------------------------------- {-# LANGUAGE CPP #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/logict-0.7.0.2/Control/Monad/Logic.hs new/logict-0.7.0.3/Control/Monad/Logic.hs --- old/logict-0.7.0.2/Control/Monad/Logic.hs 2019-07-10 23:10:24.000000000 +0200 +++ new/logict-0.7.0.3/Control/Monad/Logic.hs 2020-08-26 22:57:41.000000000 +0200 @@ -3,17 +3,13 @@ -- Module : Control.Monad.Logic -- Copyright : (c) Dan Doel -- License : BSD3 --- --- Maintainer : [email protected] --- Stability : experimental --- Portability : non-portable (multi-parameter type classes) +-- Maintainer : Andrew Lelechenko <[email protected]> -- -- A backtracking, logic programming monad. -- -- Adapted from the paper --- /Backtracking, Interleaving, and Terminating --- Monad Transformers/, by --- Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry +-- /Backtracking, Interleaving, and Terminating Monad Transformers/, +-- by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry -- (<http://okmij.org/ftp/papers/LogicT.pdf>). ------------------------------------------------------------------------- @@ -58,8 +54,13 @@ import Control.Monad.Error.Class #if !MIN_VERSION_base(4,8,0) -import Data.Monoid (Monoid(mappend, mempty)) +import Data.Monoid (Monoid (..)) +#endif + +#if MIN_VERSION_base(4,9,0) +import Data.Semigroup (Semigroup (..)) #endif + import qualified Data.Foldable as F import qualified Data.Traversable as T @@ -101,7 +102,7 @@ -- | Runs a LogicT computation with the specified initial success and -- failure continuations. runLogicT :: LogicT m a -> (a -> m r -> m r) -> m r -> m r -runLogicT = unLogicT +runLogicT (LogicT r) = r ------------------------------------------------------------------------- -- | The basic Logic monad, for performing backtracking computations @@ -166,6 +167,17 @@ mzero = LogicT $ \_ fk -> fk m1 `mplus` m2 = LogicT $ \sk fk -> unLogicT m1 sk (unLogicT m2 sk fk) +#if MIN_VERSION_base(4,9,0) +instance Semigroup (LogicT m a) where + (<>) = mplus + sconcat = foldr1 mplus +#endif + +instance Monoid (LogicT m a) where + mempty = mzero + mappend = mplus + mconcat = foldr mplus mzero + instance MonadTrans LogicT where lift m = LogicT $ \sk fk -> m >>= \a -> sk a fk diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/logict-0.7.0.2/changelog.md new/logict-0.7.0.3/changelog.md --- old/logict-0.7.0.2/changelog.md 2019-07-19 22:29:43.000000000 +0200 +++ new/logict-0.7.0.3/changelog.md 2020-08-26 23:12:39.000000000 +0200 @@ -1,3 +1,7 @@ +# 0.7.0.3 + +* Support GHC 9.0. + # 0.7.0.2 * Add `Safe` pragmas. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/logict-0.7.0.2/logict.cabal new/logict-0.7.0.3/logict.cabal --- old/logict-0.7.0.2/logict.cabal 2019-07-19 22:29:20.000000000 +0200 +++ new/logict-0.7.0.3/logict.cabal 2020-08-26 23:12:39.000000000 +0200 @@ -1,5 +1,5 @@ name: logict -version: 0.7.0.2 +version: 0.7.0.3 license: BSD3 license-file: LICENSE copyright: @@ -8,7 +8,6 @@ Copyright (c) 2014, Roman Cheplyaka maintainer: Andrew Lelechenko <[email protected]> author: Dan Doel -tested-with: ghc -any homepage: https://github.com/Bodigrim/logict#readme synopsis: A backtracking logic-programming monad. description: @@ -21,7 +20,8 @@ build-type: Simple extra-source-files: changelog.md -cabal-version: >=1.9.2 +cabal-version: >=1.10 +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.3 GHC ==8.10.1 source-repository head type: git @@ -31,6 +31,7 @@ exposed-modules: Control.Monad.Logic Control.Monad.Logic.Class + default-language: Haskell2010 ghc-options: -O2 -Wall build-depends: base >=2 && <5, @@ -43,6 +44,7 @@ test-suite logict-tests type: exitcode-stdio-1.0 main-is: Test.hs + default-language: Haskell2010 ghc-options: -Wall build-depends: base >=2 && <5,
