Skip to content

Commit

Permalink
📌 Add bounds for the dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
lsrcz committed Sep 4, 2024
1 parent 3425133 commit 0413dd1
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 6 deletions.
3 changes: 0 additions & 3 deletions grisette.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -255,7 +255,6 @@ library
, th-lift-instances >=0.1.16 && <0.2
, transformers >=0.5.6 && <0.7
, unordered-containers >=0.2.11 && <0.3
, vector
default-language: Haskell2010
if flag(optimize)
ghc-options: -O2
Expand Down Expand Up @@ -300,7 +299,6 @@ test-suite doctest
, th-lift-instances >=0.1.16 && <0.2
, transformers >=0.5.6 && <0.7
, unordered-containers >=0.2.11 && <0.3
, vector
default-language: Haskell2010
if flag(optimize)
ghc-options: -O2
Expand Down Expand Up @@ -415,7 +413,6 @@ test-suite spec
, th-lift-instances >=0.1.16 && <0.2
, transformers >=0.5.6 && <0.7
, unordered-containers >=0.2.11 && <0.3
, vector
default-language: Haskell2010
if flag(optimize)
ghc-options: -O2
Expand Down
7 changes: 4 additions & 3 deletions package.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -63,8 +63,8 @@ dependencies:
- stm >= 2.5 && < 2.6
- libBF >= 0.6.3 && < 0.7
- th-lift-instances >= 0.1.16 && < 0.2
- vector
- atomic-primops
- vector >= 0.12.1.2 && < 0.14
- atomic-primops >= 0.8.3 && < 0.9

flags:
{
Expand All @@ -79,7 +79,8 @@ flags:
when:
- condition: flag(optimize)
then:
ghc-options: -O2
ghc-options:
- -O2
else:
ghc-options: -O0

Expand Down
1 change: 1 addition & 0 deletions stack-lts-18.28-lowerbound.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -74,6 +74,7 @@ extra-deps:
- async-2.2.2
- sbv-8.17
- th-abstraction-0.4.0.0
- atomic-primops-0.8.3
# Override default flag values for local packages and extra-deps
# flags: {}

Expand Down

0 comments on commit 0413dd1

Please sign in to comment.