Skip to content

Commit

Permalink
Tried to fix the build again
Browse files Browse the repository at this point in the history
  • Loading branch information
Tom Sydney Kerckhove committed Oct 3, 2018
1 parent 2988a48 commit 8d68346
Show file tree
Hide file tree
Showing 7 changed files with 17 additions and 50 deletions.
10 changes: 10 additions & 0 deletions .travis.yml
Expand Up @@ -12,6 +12,16 @@ matrix:
- STACK_YAML="stack.yaml"
addons: {apt: {packages: [libgmp-dev]}}

- env:
- BUILD_KIND="stack"
- STACK_YAML="nightly.yaml"
addons: {apt: {packages: [libgmp-dev]}}

- env:
- BUILD_KIND="stack"
- STACK_YAML="lts-12.yaml"
addons: {apt: {packages: [libgmp-dev]}}

- env:
- BUILD_KIND="stack"
- STACK_YAML="lts-11.yaml"
Expand Down
7 changes: 2 additions & 5 deletions genvalidity-property/src/Test/Validity/Shrinking/Property.hs
Expand Up @@ -187,9 +187,7 @@ doesNotShrinkToItself ::
=> Gen a
-> (a -> [a])
-> Property
doesNotShrinkToItself gen s =
forAll (scale ((round :: Double -> Int) . log . fromIntegral . max 1) gen) $ \a ->
all (/= a) $ s a
doesNotShrinkToItself gen s = forAll gen $ \a -> all (/= a) $ s a

-- |
--
Expand All @@ -201,5 +199,4 @@ doesNotShrinkToItselfWithLimit ::
-> Int
-> Property
doesNotShrinkToItselfWithLimit gen s l =
forAll (scale ((round :: Double -> Int) . log . fromIntegral . max 1) gen) $ \a ->
all (/= a) $ take l $ s a
forAll gen $ \a -> all (/= a) $ take l $ s a
2 changes: 1 addition & 1 deletion lts-11.yaml
Expand Up @@ -28,4 +28,4 @@ packages:
- 'validity-unordered-containers'
- 'validity-uuid'
- 'validity-vector'
resolver: lts-11.18
resolver: lts-11.22
2 changes: 1 addition & 1 deletion lts-12.yaml
Expand Up @@ -28,4 +28,4 @@ packages:
- 'validity-unordered-containers'
- 'validity-uuid'
- 'validity-vector'
resolver: lts-12.2
resolver: lts-12.11
6 changes: 1 addition & 5 deletions nightly.yaml
Expand Up @@ -28,8 +28,4 @@ packages:
- 'validity-unordered-containers'
- 'validity-uuid'
- 'validity-vector'
extra-deps:
- uuid-1.3.13
- entropy-0.3.8
- Cabal-2.0.1.1
resolver: nightly-2018-07-26
resolver: nightly-2018-10-03
3 changes: 2 additions & 1 deletion stack.yaml
Expand Up @@ -29,7 +29,8 @@ packages:
- 'validity-unordered-containers'
- 'validity-uuid'
- 'validity-vector'
resolver: lts-11.14
resolver: lts-12.11
extra-deps:
- hlint-2.0.15
- extra-1.6.5
- Cabal-2.0.1.1
37 changes: 0 additions & 37 deletions zift.hs

This file was deleted.

0 comments on commit 8d68346

Please sign in to comment.