Skip to content

Commit

Permalink
Bump bounds of liquid-* packages for ghc-9.0.2
Browse files Browse the repository at this point in the history
  • Loading branch information
@facundominguez
facundominguez committed Mar 10, 2023
1 parent 815085b commit 7daeb7c
Show file tree
Hide file tree
Showing 8 changed files with 43 additions and 51 deletions.
17 changes: 6 additions & 11 deletions liquid-base/liquid-base.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 2.0
name: liquid-base
version: 4.14.3.0
version: 4.15.1.0
synopsis: Drop-in base replacement for LiquidHaskell
description: Drop-in base replacement for LiquidHaskell.
license: BSD3
Expand All @@ -23,7 +23,7 @@ data-files: src/Data/*.spec
src/Control/*.spec

custom-setup
setup-depends: Cabal, base, liquidhaskell
setup-depends: Cabal<4, base<5, liquidhaskell

library
exposed-modules: Control.Applicative
Expand Down Expand Up @@ -244,17 +244,12 @@ library
Liquid.Prelude.Totality

hs-source-dirs: src
build-depends:
liquid-ghc-prim
, liquidhaskell >= 0.8.10.1
if impl(ghc < 9)
build-depends: integer-gmp < 1.0.4.0
, base == 4.14.3.0
else
build-depends: base ^>= 4.15.0.0
build-depends:
base ^>= 4.15.1.0
, liquid-ghc-prim
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
default-extensions: PackageImports
NoImplicitPrelude
if impl(ghc >= 8.10)
ghc-options: -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--no-positivity-check

9 changes: 4 additions & 5 deletions liquid-bytestring/liquid-bytestring.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 1.24
name: liquid-bytestring
version: 0.10.10.0
version: 0.10.12.1
synopsis: LiquidHaskell specs for the bytestring package
description: LiquidHaskell specs for the bytestring package.
license: BSD3
Expand All @@ -20,7 +20,7 @@ data-files: src/Data/ByteString.spec
src/Data/ByteString/Lazy/Char8.spec

custom-setup
setup-depends: Cabal, base, liquidhaskell
setup-depends: Cabal<4, base<5, liquidhaskell

library
exposed-modules: Data.ByteString
Expand Down Expand Up @@ -48,10 +48,9 @@ library

hs-source-dirs: src
build-depends: liquid-base < 5
, bytestring >= 0.10.10.0 && < 0.11
, liquidhaskell >= 0.8.10.1
, bytestring >= 0.10.12.1 && < 0.11
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
default-extensions: PackageImports
if impl(ghc >= 8.10)
ghc-options: -fplugin=LiquidHaskell

8 changes: 4 additions & 4 deletions liquid-containers/liquid-containers.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 1.24
name: liquid-containers
version: 0.6.2.1
version: 0.6.4.1
synopsis: LiquidHaskell specs for the containers package
description: LiquidHaskell specs for the containers package.
license: BSD3
Expand All @@ -15,7 +15,7 @@ build-type: Custom
data-files: src/Data/Set.spec

custom-setup
setup-depends: Cabal, base, liquidhaskell
setup-depends: Cabal<4, base<5, liquidhaskell

library
exposed-modules: Data.Containers.ListUtils
Expand Down Expand Up @@ -49,8 +49,8 @@ library
Utils.Containers.Internal.StrictPair
hs-source-dirs: src
build-depends: liquid-base < 5
, containers >= 0.6.2.1 && < 0.7
, liquidhaskell >= 0.8.10.1
, containers >= 0.6.4.1 && < 0.7
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
default-extensions: PackageImports
if impl(ghc >= 8.10)
Expand Down
9 changes: 4 additions & 5 deletions liquid-ghc-prim/liquid-ghc-prim.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 1.24
name: liquid-ghc-prim
version: 0.6.1
version: 0.7.0.1
synopsis: Drop-in ghc-prim replacement for LiquidHaskell
description: Drop-in ghc-prim replacement for LiquidHaskell.
license: BSD3
Expand All @@ -16,7 +16,7 @@ data-files: src/GHC/*.spec


custom-setup
setup-depends: Cabal, base, liquidhaskell
setup-depends: Cabal<4, base<5, liquidhaskell

library
exposed-modules:
Expand All @@ -36,12 +36,11 @@ library
GHC.Types

hs-source-dirs: src
build-depends: ghc-prim >= 0.6.1 && < 0.8
, liquidhaskell >= 0.8.10.1
build-depends: ghc-prim >= 0.7.0 && < 0.8
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
default-extensions: PackageImports
NoImplicitPrelude
MagicHash
if impl(ghc >= 8.10)
ghc-options: -fplugin=LiquidHaskell

9 changes: 4 additions & 5 deletions liquid-parallel/liquid-parallel.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 1.24
name: liquid-parallel
version: 3.2.2.0
version: 3.2.2.0.1
synopsis: LiquidHaskell specs for the parallel package
description: LiquidHaskell specs for the parallel package.
license: BSD3
Expand All @@ -15,18 +15,17 @@ build-type: Custom
data-files: src/Control/Parallel/Strategies.spec

custom-setup
setup-depends: Cabal, base, liquidhaskell
setup-depends: Cabal<4, base<5, liquidhaskell

library
exposed-modules: Control.Seq
Control.Parallel
Control.Parallel.Strategies
hs-source-dirs: src
build-depends: liquid-base < 4.16
, parallel >= 3.2.0.0 && < 3.3
, liquidhaskell >= 0.8.10.1
, parallel >= 3.2.2.0 && < 3.3
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
default-extensions: PackageImports
if impl(ghc >= 8.10)
ghc-options: -fplugin=LiquidHaskell

24 changes: 12 additions & 12 deletions liquid-platform/liquid-platform.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 1.22
name: liquid-platform
version: 0.8.10.2
version: 0.9.0.2
synopsis: A battery-included platform for LiquidHaskell
description: A battery-included platform for LiquidHaskell.
license: BSD3
Expand All @@ -25,34 +25,34 @@ executable liquidhaskell
buildable: False
else
buildable: True
build-depends: liquid-base >= 4.14.1.0 && < 5
, liquid-containers >= 0.6.2.1 && < 0.7
, liquid-prelude >= 0.8.10.2
, liquid-vector >= 0.12.1.2 && < 0.13
, liquid-bytestring >= 0.10.0.0 && < 0.11
, liquidhaskell >= 0.8.10.2
build-depends: liquid-base >= 4.15.1.0 && < 5
, liquid-containers >= 0.6.4.1 && < 0.7
, liquid-prelude >= 0.9.0.2
, liquid-vector >= 0.12.3.1 && < 0.13
, liquid-bytestring >= 0.10.12.1 && < 0.11
, liquidhaskell >= 0.9.0.2
, filepath
, process >= 1.6.0.0 && < 1.7
, cmdargs >= 0.10 && < 0.11

if flag(devel)
ghc-options: -Werror


executable gradual
main-is: src/Gradual.hs
build-depends: base >= 4.8.1.0 && < 5
build-depends: base >= 4.15.1.0 && < 5
, cmdargs
, hscolour
, liquid-fixpoint >= 0.7.0.5
, liquidhaskell >= 0.8.10.1
, liquid-fixpoint >= 0.9.0.2
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
buildable: False
ghc-options: -W -threaded

if flag(devel)
ghc-options: -Werror


executable target
main-is: src/Target.hs
Expand Down
10 changes: 5 additions & 5 deletions liquid-prelude/liquid-prelude.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 1.24
name: liquid-prelude
version: 0.8.10.2
version: 0.9.0.2
synopsis: General utility modules for LiquidHaskell
description: General utility modules for LiquidHaskell.
license: BSD3
Expand All @@ -13,7 +13,7 @@ homepage: https://github.com/ucsd-progsys/liquidhaskell
build-type: Custom

custom-setup
setup-depends: Cabal, base, liquidhaskell
setup-depends: Cabal<4, base<5, liquidhaskell

library
exposed-modules: Language.Haskell.Liquid.RTick
Expand All @@ -29,9 +29,9 @@ library
KMeansHelper
hs-source-dirs: src
build-depends: liquid-base < 5
, bytestring >= 0.10.0.0 && < 0.11
, containers >= 0.6.0.0 && < 0.7
, liquidhaskell >= 0.8.10.2
, bytestring >= 0.10.12.1 && < 0.11
, containers >= 0.6.4.1 && < 0.7
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
if impl(ghc >= 8.10)
ghc-options: -fplugin=LiquidHaskell
Expand Down
8 changes: 4 additions & 4 deletions liquid-vector/liquid-vector.cabal
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 1.24
name: liquid-vector
version: 0.12.1.2
version: 0.12.3.1
synopsis: LiquidHaskell specs for the vector package
description: LiquidHaskell specs for the vector package.
license: BSD3
Expand All @@ -15,7 +15,7 @@ build-type: Custom
data-files: src/Data/Vector.spec

custom-setup
setup-depends: Cabal, base, liquidhaskell
setup-depends: Cabal<4, base<5, liquidhaskell

library
exposed-modules: Data.Vector.Internal.Check
Expand Down Expand Up @@ -46,8 +46,8 @@ library
Data.Vector
hs-source-dirs: src
build-depends: liquid-base < 4.16
, vector >= 0.12.1.2 && < 0.13
, liquidhaskell >= 0.8.10.1
, vector >= 0.12.3.1 && < 0.13
, liquidhaskell >= 0.9.0.2
default-language: Haskell2010
default-extensions: PackageImports
if impl(ghc >= 8.10)
Expand Down

0 comments on commit 7daeb7c

Please sign in to comment.