djinn-lib 0.0.1.3 → 0.0.1.4

raw patch · 3 files changed

+19/−16 lines, 3 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

Files

• djinn-lib.cabal +12/−15
• src/Djinn/HCheck.hs +6/−0
• src/Djinn/HTypes.hs +1/−1

@@ -1,6 +1,6 @@ name:           djinn-lib-version:        0.0.1.3-cabal-version:  >= 1.6+version:        0.0.1.4+cabal-version:  >= 1.10 license:        BSD3 license-file:	LICENSE author:	        Lennart Augustsson@@ -14,16 +14,13 @@ build-type:     Simple  library-  hs-source-dirs:  src-  build-depends:   base >= 4 && < 5,-                   mtl,-                   containers,-                   pretty-  exposed-modules: Djinn.HCheck,-                   Djinn.HTypes,-                   Djinn.LJT,-                   Djinn.LJTFormula--source-repository head-  type:     git-  location: https://github.com/serras/djinn-lib+  hs-source-dirs:   src+  build-depends:    base >= 4.6 && < 5,+                    mtl,+                    containers,+                    pretty+  exposed-modules:  Djinn.HCheck,+                    Djinn.HTypes,+                    Djinn.LJT,+                    Djinn.LJTFormula+  default-language: Haskell98

@@ -23,6 +23,12 @@  -- import Debug.Trace +#if MIN_VERSION_mtl(2,3,0)+-- mtl >= 2.3 does not define liftM2+liftM2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c+liftM2 f x y = f <$> x <*> y+#endif+ type KState = (Int, IntMap (Maybe HKind)) initState :: KState initState = (0, empty)

@@ -31,7 +31,7 @@ import Control.Monad (zipWithM) import Data.Char (isAlpha, isAlphaNum, isUpper) import Data.List (union, (\\))-#ifdef MIN_VERSION_base(4,11,0)+#if MIN_VERSION_base(4,11,0) import Prelude hiding ((<>)) #endif import Text.ParserCombinators.ReadP