essence-of-live-coding-quickcheck 0.2.4 → 0.2.5
raw patch · 2 files changed
+4/−4 lines, 2 filesdep ~essence-of-live-codingPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: essence-of-live-coding
API changes (from Hackage documentation)
Files
essence-of-live-coding-quickcheck.cabal view
@@ -1,5 +1,5 @@ name: essence-of-live-coding-quickcheck-version: 0.2.4+version: 0.2.5 synopsis: General purpose live coding framework - QuickCheck integration description: essence-of-live-coding is a general purpose and type safe live coding framework.@@ -31,14 +31,14 @@ source-repository this type: git location: git@github.com:turion/essence-of-live-coding.git- tag: v0.2.3+ tag: v0.2.5 library exposed-modules: LiveCoding.QuickCheck build-depends: base >= 4.11 && < 5- , essence-of-live-coding >= 0.2.4+ , essence-of-live-coding >= 0.2.5 , transformers >= 0.5 , syb >= 0.7 , QuickCheck >= 2.12
src/LiveCoding/QuickCheck.lhs view
@@ -116,7 +116,7 @@ We can unit test all components of a new version of our live program before reloading it. To go further, one could set up \emph{stateful property-based testing} \cite{ProperTesting} for the live coding environment. -\paragraph{Migration tests}+\paragraph{Migration Tests} Even better, we can test \emph{before reloading} whether the newly migrated state would be valid. Given some tests on intermediate values in the computation,