yices 0.0.0.11 → 0.0.0.12

raw patch · 2 files changed

+3/−4 lines, 2 filesdep −template-haskelldep −th-lift

Dependencies removed: template-haskell, th-lift

Files

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

@@ -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.11+version:             0.0.0.12 synopsis:            Haskell programming interface to Yices SMT solver description:         Incomplete (no bitvectors) syntax, parser, and inter                      process communication to Yices from Haskell through pipe.@@ -17,8 +17,7 @@ build-type:          Simple extra-source-files:  Main.hs data-files:          README, ChangeLog-build-depends:       base >= 4 && < 5, process, parsec,-                     template-haskell, th-lift+build-depends:       base >= 4 && < 5, process, parsec exposed-modules:     Math.SMT.Yices.Syntax,                      Math.SMT.Yices.Parser,                      Math.SMT.Yices.Pipe