ersatz 0.4.10 → 0.4.11

raw patch · 6 files changed

+14/−9 lines, 6 filesdep ~mtldep ~transformersPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: mtl, transformers

API changes (from Hackage documentation)

Files

• .hlint.yaml +1/−1
• CHANGELOG.md +4/−0
• ersatz.cabal +5/−5
• src/Ersatz/Bit.hs +1/−1
• src/Ersatz/Internal/Parser.hs +2/−1
• src/Ersatz/Relation/Data.hs +1/−1

@@ -1,4 +1,4 @@-- arguments: [--cpp-define=HLINT, --cpp-ansi]+- arguments: [-XCPP, --cpp-define=HLINT, --cpp-ansi]  - ignore:     name: Use camelCase

@@ -1,3 +1,7 @@+0.4.11 [2022.05.18]+-------------------+* Allow building with `mtl-2.3.*` and `transformers-0.6.*`.+ 0.4.10 [2021.11.16] ------------------- * Allow the test suite to build with recent GHCs.

@@ -1,5 +1,5 @@ name:           ersatz-version:        0.4.10+version:        0.4.11 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett, Eric Mertens, Johan Kiviniemi@@ -81,8 +81,8 @@               , GHC == 8.6.5               , GHC == 8.8.4               , GHC == 8.10.7-              , GHC == 9.0.1-              , GHC == 9.2.1+              , GHC == 9.0.2+              , GHC == 9.2.2 extra-source-files:   .gitignore   .hlint.yaml@@ -172,12 +172,12 @@     containers           >= 0.2.0.1  && < 0.7,     data-default         >= 0.5      && < 0.8,     lens                 >= 4        && < 6,-    mtl                  >= 1.1      && < 2.3,+    mtl                  >= 1.1      && < 2.4,     process              >= 1.1      && < 1.7,     semigroups           >= 0.16     && < 1,     streams              >= 3.3      && < 4,     temporary            >= 1.1      && < 1.4,-    transformers         >= 0.3      && < 0.6,+    transformers         >= 0.3      && < 0.7,     unordered-containers == 0.2.*,     attoparsec 

@@ -27,7 +27,7 @@ import qualified Prelude  import Control.Applicative-import Control.Monad.State+import Control.Monad (MonadPlus(..), liftM2, liftM3) import Data.Foldable (toList) import qualified Data.Foldable as Foldable import qualified Data.Traversable as Traversable

@@ -19,7 +19,8 @@   ) where  import Control.Applicative-import Control.Monad.State+import Control.Monad (guard)+import Control.Monad.Trans.State import Data.Char (isDigit)  type Parser t a = StateT [t] [] a

@@ -14,9 +14,9 @@ import Ersatz.Variable (exists) import Ersatz.Problem (MonadSAT) +import Control.Monad (guard) import qualified Data.Array as A import Data.Array ( Array, Ix )-import Control.Monad.State  newtype Relation a b = Relation (A.Array (a, b) Bit)