mappings 0.2.0.0 → 0.2.1.0

raw patch · 2 files changed

+5/−5 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• mappings.cabal +1/−1
• test/Data/Mapping/DecisionSpec.hs +4/−4

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           mappings-version:        0.2.0.0+version:        0.2.1.0 synopsis:       Types which represent functions k -> v description:    Please read README.md on github category:       Data structures

@@ -83,16 +83,16 @@     let x1y1 = M.fromList [("x", True), ("y", True)]      it "Should work on &&" $ do-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (x && y)))+      S.fromList (listTrue (S.fromList ["x", "y"]) (x && y))         `shouldBe` S.fromList [x1y1]     it "Should work on ||" $ do-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (x || y)))+      S.fromList (listTrue (S.fromList ["x", "y"]) (x || y))         `shouldBe` S.fromList [x0y1, x1y0, x1y1]     it "Should work on not (1)" $ do-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (not x)))+      S.fromList (listTrue (S.fromList ["x", "y"]) (not x))         `shouldBe` S.fromList [x0y0, x0y1]     it "Should work on not (2)" $ do-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (not y)))+      S.fromList (listTrue (S.fromList ["x", "y"]) (not y))         `shouldBe` S.fromList [x0y0, x1y0]    describe "Properties of independent sets in C_100" $ do