logic-TPTP 0.4.1.0 → 0.4.2.0

raw patch · 2 files changed

+8/−11 lines, 2 filesdep +transformers-compatPVP ok

version bump matches the API change (PVP)

Dependencies added: transformers-compat

API changes (from Hackage documentation)

Files

• Codec/TPTP/Base.hs +3/−7
• logic-TPTP.cabal +5/−4

@@ -29,18 +29,14 @@ import Test.QuickCheck hiding ((.&.)) import Data.Pointed import Data.Copointed+#if !MIN_VERSION_transformers(0,4,0)+import Data.Functor.Classes() -- Import Eq,Ord,Show,Read orphan instances for Data.Functor.Identity from transformers-compat package+#endif  #if !MIN_VERSION_base(4,7,0) import Util #endif     --- Should be in the standard library-#if !MIN_VERSION_transformers(0,4,0)-deriving instance Eq a => Eq (Identity a)-deriving instance Ord a => Ord (Identity a)-deriving instance Show a => Show (Identity a)-deriving instance Read a => Read (Identity a)-#endif deriving instance Data a => Data (Identity a) #if MIN_VERSION_base(4,7,0) deriving instance Typeable Identity

@@ -1,11 +1,11 @@ name: logic-TPTP    -version: 0.4.1.0+version: 0.4.2.0 cabal-version: >= 1.6 build-type: Simple license: GPL license-file: LICENSE maintainer: Ahn, Ki Yung <kya@pdx.edu>, Daniel Schüssler <daniels@community.haskell.org>-bug-reports: mailto:daniels@community.haskell.org,kya@pdx.edu+bug-reports: http://github.com/DanielSchuessler/logic-TPTP/issues synopsis: Import, export etc. for TPTP, a syntax for first-order logic description:   For information about the TPTP format, see <http://www.cs.miami.edu/~tptp/>.@@ -46,8 +46,8 @@ tested-with: GHC==7.0.4  source-repository head- type: darcs- location: http://patch-tag.com/r/kyagrd/logic-TPTP+ type: git+ location: http://github.com/DanielSchuessler/logic-TPTP.git     @@ -63,6 +63,7 @@                    , mtl                    , pointed                    , transformers+                   , transformers-compat >= 0.3    exposed-modules:   Codec.TPTP.Import                   , Codec.TPTP.Base