cmu 1.4 → 1.5

raw patch · 4 files changed

+13/−6 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• ChangeLog +8/−1
• cmu.cabal +1/−1
• src/Algebra/CommutativeMonoid/Main.hs +1/−1
• src/Algebra/CommutativeMonoid/Unification.hs +3/−3

@@ -1,5 +1,12 @@ 2012-02-29  John D. Ramsdell  <ramsdell@mitre.org> +	* cmu.cabal (Version): Released as version 1.5.++	* src/Algebra/CommutativeMonoid/{Main.hs,Unification.hs}:+	Corrected spelling of monoid in several places.++2012-02-29  John D. Ramsdell  <ramsdell@mitre.org>+ 	* cmu.cabal (Version): Released as version 1.4.  Also, constrained 	the containers package to be 0.3 or greater. @@ -14,7 +21,7 @@ 	* cmu.cabal (Build-Depends): changes dependency to 	base >= 3 && <5, containers -2009-09-18  John D. Ramsdell  <ramsdell@mm144697-pc.mitre.org>+2009-09-18  John D. Ramsdell  <ramsdell@mitre.org>  	* src/Algebra/CommutativeMonoid/Unification.hs: Changed 	occurrences of group to monoid in comments.

@@ -1,5 +1,5 @@ Name:			cmu-Version:		1.4+Version:		1.5 Maintainer:		ramsdell@mitre.org Cabal-Version:		>= 1.2 License:		GPL

@@ -1,4 +1,4 @@--- A top-level loop for unification in a Commutative Moniod+-- A top-level loop for unification in a Commutative Monoid -- -- Copyright (C) 2009 John D. Ramsdell --

@@ -25,7 +25,7 @@ -- In this module, a commutative monoid is a free algebra over a -- signature with two function symbols: -----     * the binary symbol +, the moniod operator,+--     * the binary symbol +, the monoid operator, -- --     * a constant 0, the identity element, and --@@ -75,7 +75,7 @@ -- In this module, a commutative monoid is a free algebra over a signature -- with two function symbols: ----- * the binary symbol +, the moniod operator,+-- * the binary symbol +, the monoid operator, -- * a constant 0, the identity element, and -- -- The algebra is generated by a set of variables.  Syntactically, a@@ -108,7 +108,7 @@ -- identity element, or as the sum of factors.  A factor is the -- product of a positive integer coefficient and a variable.  No -- variable occurs twice in a term.  For the show and read methods,--- zero is the identity element, the plus sign is the moniod operation.+-- zero is the identity element, the plus sign is the monoid operation. newtype Term = Term (Map String Int) deriving Eq  -- Constructors