expressions-z3 0.2 → 0.3

raw patch · 3 files changed

+9/−5 lines, 3 filesdep ~basedep ~expressionsdep ~singletons

Dependency ranges changed: base, expressions, singletons

Files

• ChangeLog.md +4/−0
• expressions-z3.cabal +4/−4
• src/Data/Expression/Z3.hs +1/−1

@@ -1,5 +1,9 @@ # Revision history for expressions-z3 +## 0.3++* Bump dependencies+ ## 0.2  * Bump dependencies

@@ -1,5 +1,5 @@ name:                expressions-z3-version:             0.2+version:             0.3 synopsis:            Encode and Decode expressions from Z3 ASTs description:   A simple interface for converting expressions back and forth between pure@@ -62,10 +62,10 @@  library   exposed-modules:     Data.Expression.Z3-  build-depends:       base >=4.9 && <4.12,+  build-depends:       base >=4.9 && <4.13,                        containers >=0.5 && <0.7,-                       expressions >=0.1.7 && <0.3,-                       singletons >=2.2 && <2.5,+                       expressions >=0.1.7 && <0.4,+                       singletons >=2.2 && <2.6,                        transformers >=0.5.2 && <0.6,                        list-t >=1.0 && <1.1,                        z3 >=4.1.2 && <4.4

@@ -147,7 +147,7 @@     ifromZ3App _ _ name app = do         guard . null =<< Z3.getAppArgs app         DynamicSort s <- sortFromZ3 =<< Z3.getSort =<< Z3.appToAst app-        return $ DynamicallySorted s (inject (Var name s))+        return $ dynvar name s  instance IFromZ3 ConjunctionF instance ConjunctionF :<: g => IFromZ3Into ConjunctionF g where