sbv 2.2 → 2.3
raw patch · 4 files changed
+36/−17 lines, 4 filesdep ~HUnitdep ~arraydep ~base
Dependency ranges changed: HUnit, array, base, containers, deepseq, directory, filepath, old-time, pretty, process
Files
- Data/SBV/BitVectors/Data.hs +1/−0
- RELEASENOTES +12/−1
- SBVUnitTest/SBVUnitTestBuildTime.hs +1/−1
- sbv.cabal +22/−15
Data/SBV/BitVectors/Data.hs view
@@ -1120,3 +1120,4 @@ rnf (Cached f) = f `seq` () instance NFData a => NFData (SBV a) where rnf (SBV x y) = rnf x `seq` rnf y `seq` ()+instance NFData Pgm
RELEASENOTES view
@@ -1,7 +1,18 @@ Hackage: <http://hackage.haskell.org/package/sbv> GitHub: <http://github.com/LeventErkok/sbv> -Latest Hackage released version: 2.2+Latest Hackage released version: 2.3++======================================================================+Version 2.3, 2012-07-20++ - Maintanence release, no new features.+ - Tweak cabal dependencies to avoid using packages that are newer+ than those that come with ghc-7.4.2. Apparently this is a no-no+ that breaks many things, see the discussion in this thread:+ http://www.haskell.org/pipermail/haskell-cafe/2012-July/102352.html+ In particular, the use of containers >= 0.5 is *not* OK until we have+ a version of GHC that comes with that version. ====================================================================== Version 2.2, 2012-07-17
SBVUnitTest/SBVUnitTestBuildTime.hs view
@@ -2,4 +2,4 @@ module SBVUnitTestBuildTime (buildTime) where buildTime :: String-buildTime = "Mon Jul 16 22:55:32 PDT 2012"+buildTime = "Thu Jul 19 22:00:35 PDT 2012"
sbv.cabal view
@@ -1,5 +1,5 @@ Name: sbv-Version: 2.2+Version: 2.3 Category: Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT Synopsis: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. Description: Express properties about Haskell programs and automatically prove them using SMT@@ -114,16 +114,19 @@ TupleSections TypeOperators TypeSynonymInstances- Build-Depends : array >= 0.4.0.0- , base >= 3 && < 5- , containers >= 0.5.0.0- , deepseq >= 1.3.0.0- , directory >= 1.1.0.2- , filepath >= 1.3.0.0+ Build-Depends : base >= 4 && < 5+ -- Be careful with versions of packages that come with "latest" GHC,+ -- need to update this as new GHC releases incorporate new packages+ , array == 0.4.0.0+ , containers == 0.4.2.1+ , deepseq == 1.3.0.0+ , directory == 1.1.0.2+ , filepath == 1.3.0.0+ , old-time == 1.1.0.0+ , pretty == 1.1.1.0+ , process == 1.1.0.1+ -- following are pure hackage packages, thus we can be more relaxed , mtl >= 2.1.2- , old-time >= 1.1.0.0- , pretty >= 1.1.1.0- , process >= 1.1.0.1 , QuickCheck >= 2.5 , random >= 1.0.1.1 , strict-concurrency >= 0.2.4.1@@ -189,11 +192,15 @@ RankNTypes ScopedTypeVariables TupleSections- Build-depends : base >= 3 && < 5- , directory >= 1.0.1.1- , HUnit >= 1.2.4.2- , filepath >= 1.1.0.4- , process >= 1.0.1.3+ Build-depends : base >= 4 && < 5+ -- Be careful with versions of packages that come with "latest" GHC,+ -- need to update this as new GHC releases incorporate new packages+ , directory == 1.1.0.2+ , filepath == 1.3.0.0+ , process == 1.1.0.1+ -- apparently HUnit 1.2.5.0 has some cabal issues..+ , HUnit == 1.2.4.3+ -- self dependence on sbv , sbv Hs-Source-Dirs : SBVUnitTest main-is : SBVUnitTest.hs