obsidiansystems/dependent-sum
1
1
Fork 0
mirror of https://github.com/obsidiansystems/dependent-sum.git synced 2024-09-11 07:45:28 +03:00
Code Issues Projects Releases Wiki Activity

bump constraints-extras

Browse Source
This commit is contained in:
Cale Gibbard 2022-11-18 13:41:23 -05:00
parent 639450fcb1
commit 619727ba17
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dependent-sum-template/test/test.hs
View File

@ -1,3 +1,4 @@
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}

2
dependent-sum/dependent-sum.cabal
View File

@ -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.3