extrapolate 0.4.0 → 0.4.1
raw patch · 5 files changed
+8/−9 lines, 5 filesdep ~speculatePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: speculate
API changes (from Hackage documentation)
Files
- extrapolate.cabal +3/−3
- src/Test/Extrapolate/Speculation.hs +0/−1
- src/Test/Extrapolate/Testable.hs +1/−1
- stack-lts-11.yaml +2/−2
- stack.yaml +2/−2
extrapolate.cabal view
@@ -1,5 +1,5 @@ name: extrapolate-version: 0.4.0+version: 0.4.1 synopsis: generalize counter-examples of test properties description: Extrapolate is a tool able to provide generalized counter-examples of test@@ -78,7 +78,7 @@ source-repository this type: git location: https://github.com/rudymatela/extrapolate- tag: v0.4.0+ tag: v0.4.1 library exposed-modules: Test.Extrapolate@@ -97,7 +97,7 @@ build-depends: base >= 4 && < 5 , leancheck >= 0.9.1 , template-haskell- , speculate >= 0.4.0+ , speculate >= 0.4.1 , express >= 0.1.0 hs-source-dirs: src default-language: Haskell2010
src/Test/Extrapolate/Speculation.hs view
@@ -26,7 +26,6 @@ import Test.Speculate.Engine (theoryAndRepresentativesFromAtoms, classesFromSchemasAndVariables) import Test.Speculate.Reason (Thy)-import Test.Speculate.Utils (boolTy, typesIn) import Test.Extrapolate.Utils import Test.Extrapolate.Expr
src/Test/Extrapolate/Testable.hs view
@@ -142,6 +142,6 @@ $ [ eval (error msg :: [[Expr]]) tiersE | tiersE@(Value "tiers" _) <- is ] where- vs = sort . mapMaybe (maybeHoleOfTy is) . nubMergeMap (typesIn . typ) $ esU+ vs = sort . mapMaybe (maybeHoleOfTy is) . typesInList . map typ $ esU esU = concat [evl e | e@(Value "background" _) <- is] msg = "canditateConditions: wrong type, not [[Expr]]"
stack-lts-11.yaml view
@@ -5,8 +5,8 @@ extra-deps: - leancheck-0.9.1-- speculate-0.4.0-- express-0.1.0+- speculate-0.4.1+- express-0.1.1 flags: {}
stack.yaml view
@@ -5,8 +5,8 @@ extra-deps: - leancheck-0.9.1-- speculate-0.4.0-- express-0.1.0+- speculate-0.4.1+- express-0.1.1 flags: {}