leancheck 0.7.3 → 0.7.4

raw patch · 5 files changed

+28/−7 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• .travis.yml +2/−2
• README.md +21/−0
• leancheck.cabal +2/−2
• src/Test/LeanCheck/IO.hs +2/−2
• stack.yaml +1/−1

@@ -35,8 +35,8 @@ - make && make test - make haddock - make test-sdist-- cabal test-- stack --no-terminal --skip-ghc-check test+- cabal test --ghc-option=-O0+- stack --no-terminal --skip-ghc-check test --ghc-options=-O0  matrix:   allow_failures:

@@ -142,6 +142,20 @@ check source comments or haddock documentation for details.  +Providers for Tasty, test-framework and Hspec+---------------------------------------------++The following providers allow including LeanCheck properties into+[Tasty], [test-framework] or [Hspec] test suites.++* [LeanCheck provider for Tasty]+  -- `$ cabal install tasty-leancheck` ;+* [LeanCheck provider for test-framework]+  -- `$ cabal install test-framework-leancheck` ;+* [LeanCheck provider for Hspec]+  -- `$ cabal install hspec-leancheck` .++ Further reading --------------- @@ -177,6 +191,13 @@  [symbol `>`]: https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810780208 [Template Haskell]: https://wiki.haskell.org/Template_Haskell++[Tasty]:          https://github.com/feuerbach/tasty#readme+[test-framework]: https://haskell.github.io/test-framework/+[Hspec]:          https://hspec.github.io/+[LeanCheck provider for Tasty]:          https://hackage.haskell.org/package/tasty-leancheck+[LeanCheck provider for test-framework]: https://hackage.haskell.org/package/test-framework-leancheck+[LeanCheck provider for Hspec]:          https://hackage.haskell.org/package/hspec-leancheck  [build-status]: https://travis-ci.org/rudymatela/leancheck.svg?branch=master [build-log]:    https://travis-ci.org/rudymatela/leancheck

@@ -11,7 +11,7 @@ -- this cabal file too complicated.  -- Rudy  name:                leancheck-version:             0.7.3+version:             0.7.4 synopsis:            Enumerative property-based testing description:   LeanCheck is a simple enumerative property-based testing library.@@ -70,7 +70,7 @@ source-repository this   type:            git   location:        https://github.com/rudymatela/leancheck-  tag:             v0.7.3+  tag:             v0.7.4  library   exposed-modules: Test.LeanCheck

@@ -101,10 +101,10 @@ showResult m (Exception i ce e) = "*** Failed! Exception '" ++ e ++ "' (after "                                ++ show i ++ " tests):\n" ++ joinArgs ce --- joinArgs the counter-example arguments+-- joins the counter-example arguments joinArgs :: [String] -> String joinArgs ce | any ('\n' `elem`) ce = unlines $ map chopBreak ce-        | otherwise            = unwords ce+            | otherwise            = unwords ce  -- chops a line break at the end if there is any chopBreak :: String -> String

@@ -3,7 +3,7 @@  # resolver: nightly-2015-09-21 # resolver: ghc-7.10.2-resolver: lts-12.7+resolver: lts-12.9  packages: - .