Hello community,
here is the log from the commit of package ghc-logict for openSUSE:Factory
checked in at 2019-05-09 10:10:11
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-logict (Old)
and /work/SRC/openSUSE:Factory/.ghc-logict.new.5148 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-logict"
Thu May 9 10:10:11 2019 rev:6 rq:700202 version:0.6.0.3
Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-logict/ghc-logict.changes 2018-10-25
08:26:59.823784035 +0200
+++ /work/SRC/openSUSE:Factory/.ghc-logict.new.5148/ghc-logict.changes
2019-05-09 10:10:13.293167452 +0200
@@ -1,0 +2,8 @@
+Wed May 1 02:03:14 UTC 2019 - psim...@suse.com
+
+- 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.
+
+-------------------------------------------------------------------
Old:
----
logict-0.6.0.2.tar.gz
New:
----
logict-0.6.0.3.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-logict.spec ++++++
--- /var/tmp/diff_new_pack.c59yKi/_old 2019-05-09 10:10:15.405173499 +0200
+++ /var/tmp/diff_new_pack.c59yKi/_new 2019-05-09 10:10:15.425173556 +0200
@@ -1,7 +1,7 @@
#
# spec file for package ghc-logict
#
-# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -18,7 +18,7 @@
%global pkg_name logict
Name: ghc-%{pkg_name}
-Version: 0.6.0.2
+Version: 0.6.0.3
Release: 0
Summary: A backtracking logic-programming monad
License: BSD-3-Clause
@@ -65,5 +65,6 @@
%license LICENSE
%files devel -f %{name}-devel.files
+%doc changelog.md
%changelog
++++++ logict-0.6.0.2.tar.gz -> logict-0.6.0.3.tar.gz ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/logict-0.6.0.2/Control/Monad/Logic.hs
new/logict-0.6.0.3/Control/Monad/Logic.hs
--- old/logict-0.6.0.2/Control/Monad/Logic.hs 2014-02-09 23:59:08.000000000
+0100
+++ new/logict-0.6.0.3/Control/Monad/Logic.hs 2019-04-30 23:09:32.000000000
+0200
@@ -1,4 +1,4 @@
-{-# LANGUAGE UndecidableInstances, Rank2Types, FlexibleInstances,
MultiParamTypeClasses #-}
+{-# LANGUAGE CPP, UndecidableInstances, Rank2Types, FlexibleInstances,
MultiParamTypeClasses #-}
-------------------------------------------------------------------------
-- |
@@ -41,6 +41,7 @@
import Control.Applicative
import Control.Monad
+import qualified Control.Monad.Fail as Fail
import Control.Monad.Identity
import Control.Monad.Trans
@@ -63,7 +64,11 @@
-------------------------------------------------------------------------
-- | Extracts the first result from a LogicT computation,
-- failing otherwise.
+#if !MIN_VERSION_base(4,13,0)
observeT :: Monad m => LogicT m a -> m a
+#else
+observeT :: MonadFail m => LogicT m a -> m a
+#endif
observeT lt = unLogicT lt (const . return) (fail "No answer.")
-------------------------------------------------------------------------
@@ -103,7 +108,7 @@
-------------------------------------------------------------------------
-- | Extracts the first result from a Logic computation.
observe :: Logic a -> a
-observe = runIdentity . observeT
+observe lt = runIdentity $ unLogicT lt (const . return) (error "No answer.")
-------------------------------------------------------------------------
-- | Extracts all results from a Logic computation.
@@ -138,6 +143,11 @@
instance Monad (LogicT m) where
return a = LogicT $ \sk fk -> sk a fk
m >>= f = LogicT $ \sk fk -> unLogicT m (\a fk' -> unLogicT (f a) sk fk')
fk
+#if !MIN_VERSION_base(4,13,0)
+ fail = Fail.fail
+#endif
+
+instance Fail.MonadFail (LogicT m) where
fail _ = LogicT $ \_ fk -> fk
instance MonadPlus (LogicT m) where
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/logict-0.6.0.2/changelog.md
new/logict-0.6.0.3/changelog.md
--- old/logict-0.6.0.2/changelog.md 1970-01-01 01:00:00.000000000 +0100
+++ new/logict-0.6.0.3/changelog.md 2019-04-30 23:09:32.000000000 +0200
@@ -0,0 +1,3 @@
+# 0.6.0.3
+
+* Comply with MonadFail proposal.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/logict-0.6.0.2/logict.cabal
new/logict-0.6.0.3/logict.cabal
--- old/logict-0.6.0.2/logict.cabal 2014-02-09 23:59:08.000000000 +0100
+++ new/logict-0.6.0.3/logict.cabal 2019-04-30 23:10:34.000000000 +0200
@@ -1,5 +1,5 @@
name: logict
-version: 0.6.0.2
+version: 0.6.0.3
description: A continuation-based, backtracking, logic programming
monad.
An adaptation of the two-continuation implementation
found
in the paper "Backtracking, Interleaving, and
Terminating
@@ -13,18 +13,21 @@
Copyright (c) 2011-2013, Edward Kmett,
Copyright (c) 2014, Roman Cheplyaka
author: Dan Doel
-maintainer: dan.d...@gmail.com
-homepage: http://code.haskell.org/~dolio/
+maintainer: Andrew Lelechenko <andrew.leleche...@gmail.com>
+homepage: https://github.com/Bodigrim/logict#readme
cabal-version: >= 1.9.2
tested-with: GHC
build-type: Simple
+extra-source-files: changelog.md
source-repository head
- type: darcs
- location: http://hub.darcs.net/dolio/logict
+ type: git
+ location: https://github.com/Bodigrim/logict
library
build-depends: base >=2 && < 5, mtl>=2 && <2.3
+ if impl(ghc < 8.0)
+ build-depends: fail
exposed-modules: Control.Monad.Logic,
Control.Monad.Logic.Class
