packages feed

monadiccp 0.4 → 0.4.1

raw patch · 2 files changed

+2/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Control.CP.Herbrand.PrologTerm: instance Eq PrologTerm

Files

Control/CP/Herbrand/PrologTerm.hs view
@@ -4,6 +4,7 @@ import Control.CP.Herbrand.Herbrand  data PrologTerm = PTerm String [PrologTerm] | PVar VarId+     deriving Eq  instance HTerm PrologTerm where   mkVar           = PVar
monadiccp.cabal view
@@ -1,5 +1,5 @@ Name:                monadiccp-Version:             0.4+Version:             0.4.1 Description:         Monadic Constraint Programming framework License:             BSD3 License-file:        LICENSE