unification-fd 0.10.0 → 0.10.0.1
raw patch · 7 files changed
+56/−53 lines, 7 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- CHANGELOG +48/−0
- VERSION +0/−45
- src/Control/Monad/State/UnificationExtras.hs +1/−1
- src/Control/Unification/IntVar.hs +1/−1
- src/Control/Unification/Ranked/IntVar.hs +1/−1
- src/Data/Functor/Fixedpoint.hs +1/−1
- unification-fd.cabal +4/−4
+ CHANGELOG view
@@ -0,0 +1,48 @@+0.10.0.1 (2015-05-30):+ - Moved VERSION to CHANGELOG+0.10.0 (2015-03-29):+ - Cleaned up things to compile cleanly for GHC 7.10+ - Cleaned up deprecation warnings re Control.Monad.Error+ - Control.Monad.EitherK: liberalized Monad restriction to+ Applicative where possible.+ - Control.Monad.MaybeK: liberalized Monad restriction to+ Applicative where possible.+ - Control.Unification.Types: Completely revamped the old+ UnificationFailure data type as the new UFailure data type+ and Fallible type class.++0.9.0 (2014-06-03):+ - Control.Unification.Types: changed the fundeps on BindingMonad+ and RankedBindingMonad so that things compile under GHC 7.8.2+ - Data.Functor.Fixedpoint: eta-expanded RULES to avoid GHC >=+ 7.8 warnings about them potentially not firing due to (.)+ being inlined first.+0.8.1 (2014-05-27):+ - Control.Unification.Types: added Functor, Foldable, and+ Traversable instances for UnificationFailure. (h/t Graham Rogers)+0.8.0 (2012-07-11):+ - Control.Unification.Types: Changed the type of Unifiable.zipMatch+0.7.0 (2012-03-19):+ - Renamed MutTerm to UTerm (and MutVar to UVar)+ - Replaced the Variable.eqVar method by plain old Eq.(==)+ - Control.Unification: added getFreeVarsAll, applyBindingsAll,+ freshenAll+ - Swapped type argument order for MutTerm, so that it can be a+ functor etc. Also changed BindingMonad, UnificationFailure,+ Rank, and RankedBindingMonad for consistency.+0.6.0 (2012-02-17):+ - Removed the phantom type argument for Variables.+0.5.0 (2011-07-12):+ - Moved UnificationFailure to Control.Unification.Types+ - Renamed NonUnifiable to TermMismatch+ - Control.Unification: exposed fullprune, semiprune, occursIn+ - Control.Unification: added unifyOccurs, subsumes+ - Control.Unification: (re)added symbolic names for binary operators+0.4.0 (2011-07-07):+ - Removed heterogeneous unification, and rewrote practically everything.+ - Added semipruning instead of full pruning.+ - Added visited-sets instead of occurs-checks.+ - Added weightedness to path compression (a la union--find).+ - This is the version emailed for the 2011-07-07 talk at McMaster.+0.3.6 (2011-06-18):+ - Forked from the Dyna2 project.
− VERSION
@@ -1,45 +0,0 @@-0.10.0 (2014-XX-XX):- - Cleaned up deprecation warnings re Control.Monad.Error- - Control.Monad.EitherK: liberalized Monad restriction to- Applicative where possible.- - Control.Monad.MaybeK: liberalized Monad restriction to- Applicative where possible.- - Control.Unification.Types: Completely revamped the old- UnificationFailure data type as the new UFailure data type- and Fallible type class.--0.9.0 (2014-06-03):- - Control.Unification.Types: changed the fundeps on BindingMonad- and RankedBindingMonad so that things compile under GHC 7.8.2- - Data.Functor.Fixedpoint: eta-expanded RULES to avoid GHC >=- 7.8 warnings about them potentially not firing due to (.)- being inlined first.-0.8.1 (2014-05-27):- - Control.Unification.Types: added Functor, Foldable, and- Traversable instances for UnificationFailure. (h/t Graham Rogers)-0.8.0 (2012-07-11):- - Control.Unification.Types: Changed the type of Unifiable.zipMatch-0.7.0 (2012-03-19):- - Renamed MutTerm to UTerm (and MutVar to UVar)- - Replaced the Variable.eqVar method by plain old Eq.(==)- - Control.Unification: added getFreeVarsAll, applyBindingsAll,- freshenAll- - Swapped type argument order for MutTerm, so that it can be a- functor etc. Also changed BindingMonad, UnificationFailure,- Rank, and RankedBindingMonad for consistency.-0.6.0 (2012-02-17):- - Removed the phantom type argument for Variables.-0.5.0 (2011-07-12):- - Moved UnificationFailure to Control.Unification.Types- - Renamed NonUnifiable to TermMismatch- - Control.Unification: exposed fullprune, semiprune, occursIn- - Control.Unification: added unifyOccurs, subsumes- - Control.Unification: (re)added symbolic names for binary operators-0.4.0 (2011-07-07):- - Removed heterogeneous unification, and rewrote practically everything.- - Added semipruning instead of full pruning.- - Added visited-sets instead of occurs-checks.- - Added weightedness to path compression (a la union--find).- - This is the version emailed for the 2011-07-07 talk at McMaster.-0.3.6 (2011-06-18):- - Forked from the Dyna2 project.
src/Control/Monad/State/UnificationExtras.hs view
@@ -4,7 +4,7 @@ -- ~ 2011.07.05 -- | -- Module : Control.Monad.State.UnificationExtras--- Copyright : Copyright (c) 2008--2014 wren gayle romano+-- Copyright : Copyright (c) 2008--2015 wren gayle romano -- License : BSD -- Maintainer : wren@community.haskell.org -- Stability : perpetually unstable
src/Control/Unification/IntVar.hs view
@@ -7,7 +7,7 @@ -- ~ 2012.03.18 -- | -- Module : Control.Unification.IntVar--- Copyright : Copyright (c) 2007--2014 wren gayle romano+-- Copyright : Copyright (c) 2007--2015 wren gayle romano -- License : BSD -- Maintainer : wren@community.haskell.org -- Stability : experimental
src/Control/Unification/Ranked/IntVar.hs view
@@ -7,7 +7,7 @@ -- ~ 2012.03.18 -- | -- Module : Control.Unification.Ranked.IntVar--- Copyright : Copyright (c) 2007--2014 wren gayle romano+-- Copyright : Copyright (c) 2007--2015 wren gayle romano -- License : BSD -- Maintainer : wren@community.haskell.org -- Stability : highly experimental
src/Data/Functor/Fixedpoint.hs view
@@ -25,7 +25,7 @@ -- 2014.05.28 -- | -- Module : Data.Functor.Fixedpoint--- Copyright : Copyright (c) 2007--2014 wren gayle romano+-- Copyright : Copyright (c) 2007--2015 wren gayle romano -- License : BSD -- Maintainer : wren@community.haskell.org -- Stability : provisional
unification-fd.cabal view
@@ -1,5 +1,5 @@ ------------------------------------------------------------------- wren gayle romano <wren@community.haskell.org> ~ 2014.09.15+-- wren gayle romano <wren@community.haskell.org> ~ 2015.05.30 ---------------------------------------------------------------- -- By and large Cabal >=1.2 is fine; but >= 1.6 gives tested-with:@@ -8,12 +8,12 @@ Build-Type: Simple Name: unification-fd-Version: 0.10.0+Version: 0.10.0.1 Stability: experimental Homepage: http://code.haskell.org/~wren/ Author: wren gayle romano Maintainer: wren@community.haskell.org-Copyright: Copyright (c) 2007--2014 wren gayle romano+Copyright: Copyright (c) 2007--2015 wren gayle romano License: BSD3 License-File: LICENSE @@ -27,7 +27,7 @@ Tested-With: GHC == 7.6.1, GHC == 7.6.3, GHC == 7.8.2 Extra-source-files:- AUTHORS, README, VERSION+ AUTHORS, README, CHANGELOG Source-Repository head Type: darcs Location: http://community.haskell.org/~wren/unification-fd