bump constraints-extras

(cherry picked from commit 619727b)
obsidiansystems · Jan 21, 2023 · ea63570 · ea63570
1 parent b1ddcdf
commit ea63570
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/dependent-sum-template/test/test.hs b/dependent-sum-template/test/test.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE EmptyDataDecls #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}

diff --git a/dependent-sum/dependent-sum.cabal b/dependent-sum/dependent-sum.cabal
@@ -46,7 +46,7 @@ Library
                         Data.Some
   other-extensions:     PatternSynonyms
   build-depends:        base >= 4.9 && <5
-                      , constraints-extras >= 0.2 && < 0.4
+                      , constraints-extras >= 0.2 && < 0.5
 
   -- tight bounds, so re-exported API is versioned properly.
   build-depends:        some >= 1.0.1 && < 1.0.4