term-rewriting 0.1.1 → 0.1.2

raw patch · 3 files changed

+4/−2 lines, 3 filesdep ~parsecPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: parsec

API changes (from Hackage documentation)

Files

• src/Data/Rewriting/Substitution/Parse.hs +1/−0
• src/Data/Rewriting/Term/Parse.hs +1/−0
• term-rewriting.cabal +2/−2

@@ -18,6 +18,7 @@ import qualified Data.Rewriting.Term.Parse as Term import Control.Monad import Text.Parsec hiding (parse)+import Text.Parsec.Prim (runP)   parse :: (Ord v) =>

@@ -19,6 +19,7 @@ import Control.Monad.Error () import Data.Rewriting.Term.Type import Text.Parsec hiding (parse)+import Text.Parsec.Prim (runP)  -- | Like 'fromString', but the result is wrapped in the IO monad, making this -- function useful for interactive testing.

@@ -1,5 +1,5 @@ name:          term-rewriting-version:       0.1.1+version:       0.1.2 stability:     experimental author:        Martin Avanzini,                Bertram Felgenhauer,@@ -62,7 +62,7 @@     build-depends:         containers >= 0.3 && < 0.6,         multiset >= 0.2 && < 0.3,-        parsec >= 3 && < 3.2,+        parsec >= 3.1.6 && < 3.2,         union-find-array >= 0.1 && < 0.2,         array >= 0.3 && < 0.6,         ansi-wl-pprint >= 0.6 && < 0.7,