logict 0.7.0.1 → 0.7.0.2

raw patch · 4 files changed

+21/−3 lines, 4 filesdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• Control/Monad/Logic.hs +10/−2
• Control/Monad/Logic/Class.hs +6/−0
• changelog.md +4/−0
• logict.cabal +1/−1

@@ -17,8 +17,16 @@ --    (<http://okmij.org/ftp/papers/LogicT.pdf>). ------------------------------------------------------------------------- -{-# LANGUAGE CPP, UndecidableInstances, Rank2Types, FlexibleInstances, MultiParamTypeClasses #-}+{-# LANGUAGE CPP                   #-}+{-# LANGUAGE FlexibleInstances     #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE RankNTypes            #-}+{-# LANGUAGE UndecidableInstances  #-} +#if __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Safe #-}+#endif+ module Control.Monad.Logic (     module Control.Monad.Logic.Class,     -- * The Logic monad@@ -183,7 +191,7 @@  #else -instance {-# OVERLAPPABLE #-} (Monad m, F.Foldable m) => F.Foldable (LogicT m) where+instance (Monad m, F.Foldable m) => F.Foldable (LogicT m) where     foldMap f m = F.fold $ unLogicT m (liftM . mappend . f) (return mempty)  #endif

@@ -17,6 +17,12 @@ --    (<http://okmij.org/ftp/papers/LogicT.pdf>) ------------------------------------------------------------------------- +{-# LANGUAGE CPP  #-}++#if __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Safe #-}+#endif+ module Control.Monad.Logic.Class (MonadLogic(..), reflect) where  import Control.Monad.Reader

@@ -1,3 +1,7 @@+# 0.7.0.2++* Add `Safe` pragmas.+ # 0.7.0.1  * Fix `MonadReader r (LogicT m)` instance again.

@@ -1,5 +1,5 @@ name: logict-version: 0.7.0.1+version: 0.7.0.2 license: BSD3 license-file: LICENSE copyright: