assert-failure 0.1.2.4 → 0.1.2.5

raw patch · 2 files changed

+9/−5 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Control/Exception/Assert/Sugar.hs +8/−4
• assert-failure.cabal +1/−1

@@ -68,12 +68,16 @@ -- > assert (allB (<= height) [yf, y1, y2]) allB :: Show a => (a -> Bool) -> [a] -> Bool {-# NOINLINE allB #-}-allB predicate l = blame (all predicate l) $ allBMessage predicate l+allB predicate l = case all predicate l of+  True -> True+  False -> trace (allBMessage predicate l) False  allBMessage :: Show a => (a -> Bool) -> [a] -> String-allBMessage predicate l = Show.Pretty.ppShow (filter (not . predicate) l)-                          ++ " in the context of "-                          ++ Show.Pretty.ppShow l+allBMessage predicate l =+  "The following items on the list don't respect the contract:\n"+  ++ Show.Pretty.ppShow (filter (not . predicate) l)+  ++ "\nout of all the list items below:\n"+  ++ Show.Pretty.ppShow l  -- * DEPRECATED 

@@ -6,7 +6,7 @@ -- PVP summary:+-+------- breaking API changes --             | | +----- non-breaking API additions --             | | | +--- code changes with no API change-version:       0.1.2.4+version:       0.1.2.5 synopsis:      Syntactic sugar improving 'assert' and 'error' description:   This library contains syntactic sugar that makes it easier                to write simple contracts with 'assert' and 'error'