Bump LTS and allow newer QuickCheck (#189)

See commercialhaskell/stackage#4444
snowleopard · Apr 21, 2019 · 0e3ecaa · 0e3ecaa
1 parent 0ff0965
commit 0e3ecaa
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,8 +2,9 @@
 
 ## 0.4
 
+* #143: Allow newer QuickCheck.
 * #171: Implement sparsification for King-Launchbury graph representation.
-* #178: Derive `Generic` for adjacency maps. 
+* #178: Derive `Generic` for adjacency maps.
 
 ## 0.3
 

diff --git a/algebraic-graphs.cabal b/algebraic-graphs.cabal
@@ -160,7 +160,7 @@ test-suite test-alga
                         base-orphans >= 0.5.4   && < 0.9,
                         containers   >= 0.5.5.1 && < 0.8,
                         extra        >= 1.5     && < 2,
-                        QuickCheck   >= 2.9     && < 2.13
+                        QuickCheck   >= 2.9     && < 2.14
     if !impl(ghc >= 8.0)
         build-depends:  semigroups   >= 0.18.3  && < 0.18.4
     if impl(ghc >= 8.0.2)

diff --git a/stack.yaml b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-12.19
+resolver: lts-13.17
 
 packages:
 - '.'