agum 2.6 → 2.7

raw patch · 3 files changed

+12/−5 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• ChangeLog +5/−0
• agum.cabal +1/−1
• src/Algebra/AbelianGroup/Main.hs +6/−4

@@ -1,3 +1,8 @@+2018-01-06  John D. Ramsdell  <ramsdell@mitre.org>++	* src/Algebra/AbelianGroup/Main.hs (readM): Adapted the code to+	work when Monad no longer has a fail method.+ 2015-04-27  John D. Ramsdell  <ramsdell@mitre.org>  	* src/Algebra/AbelianGroup/Main.hs (AnsErr): Added Functor and

@@ -1,5 +1,5 @@ Name:			agum-Version:		2.6+Version:		2.7 Maintainer:		ramsdell@mitre.org Cabal-Version:		>= 1.6 License:		GPL

@@ -17,7 +17,7 @@  module Main (main, test) where -import Control.Applicative+import qualified Control.Monad.Fail as Fail import System.IO (isEOF, hFlush, stdout) import Algebra.AbelianGroup.UnificationMatching @@ -41,12 +41,12 @@               Ans subst -> print subst             putStrLn "" -readM :: (Read a, Monad m) => String -> m a+readM :: (Read a, Fail.MonadFail m) => String -> m a readM s =     case [ x | (x, t) <- reads s, ("", "") <- lex t ] of       [x] -> return x-      [] -> fail "no parse"-      _ -> fail "ambiguous parse"+      [] -> Fail.fail "no parse"+      _ -> Fail.fail "ambiguous parse"  -- Like Either String but with fail method defined data AnsErr a@@ -66,6 +66,8 @@     (Ans x) >>= k = k x     (Err s) >>= _ = Err s     return        = Ans++instance Fail.MonadFail AnsErr where     fail          = Err         -- fail is Err  -- Main loop