yices 0.0.0.7 → 0.0.0.8

raw patch · 2 files changed

+3/−3 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

• Math/SMT/Yices/Syntax.hs +1/−1
• yices.cabal +2/−2

@@ -102,7 +102,7 @@ space = showChar ' '  showListSepByWith :: (a -> ShowS) -> String -> [a] -> ShowS-showListSepByWith showsFun sep = foldr1 (.) . intersperse (showString sep) . map showsFun+showListSepByWith showsFun sep = foldr (.) id . intersperse (showString sep) . map showsFun  showListSepBy :: (Show a) => String -> [a] -> ShowS showListSepBy = showListSepByWith (showsPrec 0)

@@ -1,5 +1,5 @@ name:                yices-version:             0.0.0.7+version:             0.0.0.8 synopsis:            Haskell programming interface to Yices SMT solver description:         Incomplete (no bitvectors) syntax, parser, and inter                      process communication to Yices from Haskell through pipe.@@ -18,7 +18,7 @@ cabal-version:       >=1.2 extra-source-files:  Main.hs data-files:          README, ChangeLog-build-depends:       base >= 2 && < 6, haskell98, process, parsec+build-depends:       base >= 4 && < 5, haskell98, process, parsec exposed-modules:     Math.SMT.Yices.Syntax,                      Math.SMT.Yices.Parser,                      Math.SMT.Yices.Pipe