simple-smt 0.6.0 → 0.7.0
raw patch · 2 files changed
+2/−1 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- SimpleSMT: instance [safe] Eq Result
- SimpleSMT: instance [safe] Eq SExpr
- SimpleSMT: instance [safe] Eq Value
- SimpleSMT: instance [safe] Ord SExpr
- SimpleSMT: instance [safe] Show Result
- SimpleSMT: instance [safe] Show SExpr
- SimpleSMT: instance [safe] Show Value
- SimpleSMT: logLevel :: Logger -> IO Int
- SimpleSMT: logMessage :: Logger -> String -> IO ()
- SimpleSMT: logSetLevel :: Logger -> Int -> IO ()
- SimpleSMT: logTab :: Logger -> IO ()
- SimpleSMT: logUntab :: Logger -> IO ()
+ SimpleSMT: [logLevel] :: Logger -> IO Int
+ SimpleSMT: [logMessage] :: Logger -> String -> IO ()
+ SimpleSMT: [logSetLevel] :: Logger -> Int -> IO ()
+ SimpleSMT: [logTab] :: Logger -> IO ()
+ SimpleSMT: [logUntab] :: Logger -> IO ()
+ SimpleSMT: instance GHC.Classes.Eq SimpleSMT.Result
+ SimpleSMT: instance GHC.Classes.Eq SimpleSMT.SExpr
+ SimpleSMT: instance GHC.Classes.Eq SimpleSMT.Value
+ SimpleSMT: instance GHC.Classes.Ord SimpleSMT.SExpr
+ SimpleSMT: instance GHC.Show.Show SimpleSMT.Result
+ SimpleSMT: instance GHC.Show.Show SimpleSMT.SExpr
+ SimpleSMT: instance GHC.Show.Show SimpleSMT.Value
Files
- SimpleSMT.hs +1/−0
- simple-smt.cabal +1/−1
SimpleSMT.hs view
@@ -167,6 +167,7 @@ -- | Parse an s-expression. readSExpr :: String -> Maybe (SExpr, String) readSExpr (c : more) | isSpace c = readSExpr more+readSExpr (';' : more) = readSExpr $ drop 1 $ dropWhile (/= '\n') more readSExpr ('(' : more) = do (xs,more1) <- list more return (List xs, more1) where
simple-smt.cabal view
@@ -1,5 +1,5 @@ name: simple-smt-version: 0.6.0+version: 0.7.0 synopsis: A simple way to interact with an SMT solver process. description: A simple way to interact with an SMT solver process. license: BSD3