improve 0.0.12 → 0.1.0

raw patch · 2 files changed

+8/−8 lines, 2 filesdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• Language/ImProve/Verify.hs +3/−3
• improve.cabal +5/−5

@@ -129,9 +129,9 @@  modifiedVars :: Statement -> [VarInfo] modifiedVars a = case a of-  AssignBool  a b -> [varInfo a]-  AssignInt   a b -> [varInfo a]-  AssignFloat a b -> [varInfo a]+  AssignBool  a _ -> [varInfo a]+  AssignInt   a _ -> [varInfo a]+  AssignFloat a _ -> [varInfo a]   Branch _ b c    -> modifiedVars b ++ modifiedVars c   Sequence a b    -> modifiedVars a ++ modifiedVars b   Assert _        -> []

@@ -1,7 +1,7 @@ name:    improve-version: 0.0.12+version: 0.1.0 -category: Language+category: Language, Formal Methods, Embedded  synopsis: An imperative, verifiable programming language for high assurance applications. @@ -24,9 +24,9 @@  library     build-depends:-        base  >= 4.2     && < 5,-        mtl   >= 1.1.0.1 && < 1.2,-        yices >= 0.0.0.7 && < 0.0.1+        base      >= 4.0     && < 5,+        mtl       >= 1.1.0.1 && < 1.2,+        yices     >= 0.0.0.7 && < 0.0.1      exposed-modules:         Language.ImProve