Bump version to 0.8.10.1

YoshikiTakashima · Jun 3, 2020 · e772ecd · e772ecd
1 parent a085dc4
commit e772ecd
Show file tree

Hide file tree

Showing 11 changed files with 34 additions and 29 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,11 @@
 # Changes
 
-## NEXT 0.8.6.0
+## NEXT 0.8.10.1
+
+- Support for GHC 8.10.1
+- LiquidHaskell is now available as a GHC Plugin
+
+## 0.8.6.0
 
 - Automatically check (transitive) dependencies
 - Built with GHC 8.6.4

diff --git a/liquid-base/liquid-base.cabal b/liquid-base/liquid-base.cabal
@@ -1,5 +1,5 @@
 name:               liquid-base
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           Drop-in base replacement for LiquidHaskell
 description:        Drop-in base replacement for LiquidHaskell.
 license:            BSD3
@@ -99,7 +99,7 @@ library
   hs-source-dirs:     src
   build-depends:      base                 >= 4.11.1.0 && < 5
                     , liquid-ghc-prim
-                    , liquidhaskell        >= 0.8.6.0
+                    , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell98
   default-extensions: PackageImports
                       NoImplicitPrelude

diff --git a/liquid-bytestring/liquid-bytestring.cabal b/liquid-bytestring/liquid-bytestring.cabal
@@ -1,5 +1,5 @@
 name:               liquid-bytestring
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           LiquidHaskell specs for the bytestring package
 description:        LiquidHaskell specs for the bytestring package.
 license:            BSD3
@@ -27,9 +27,9 @@ library
                       Data.ByteString.Lazy
                       -- Data.ByteString.Lazy.Char8
   hs-source-dirs:     src
-  build-depends:      liquid-base          >= 0.8.6.0 
+  build-depends:      liquid-base          >= 0.8.10.1
                     , bytestring           >= 0.10
-                    , liquidhaskell        >= 0.8.6.0
+                    , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell98
   default-extensions: PackageImports
   if impl(ghc >= 8.10)

diff --git a/liquid-containers/liquid-containers.cabal b/liquid-containers/liquid-containers.cabal
@@ -1,5 +1,5 @@
 name:               liquid-containers
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           LiquidHaskell specs for the containers package
 description:        LiquidHaskell specs for the containers package.
 license:            BSD3
@@ -18,9 +18,9 @@ library
   exposed-modules:    Data.Set
                       Data.Map
   hs-source-dirs:     src
-  build-depends:      liquid-base          >= 0.8.6.0 
+  build-depends:      liquid-base          >= 0.8.10.1
                     , containers           >= 0.5.9.2
-                    , liquidhaskell        >= 0.8.6.0
+                    , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell98
   default-extensions: PackageImports
   if impl(ghc >= 8.10)

diff --git a/liquid-fixpoint b/liquid-fixpoint
diff --git a/liquid-ghc-prim/liquid-ghc-prim.cabal b/liquid-ghc-prim/liquid-ghc-prim.cabal
@@ -1,5 +1,5 @@
 name:               liquid-ghc-prim
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           Drop-in ghc-prim replacement for LiquidHaskell
 description:        Drop-in ghc-prim replacement for LiquidHaskell.
 license:            BSD3
@@ -15,7 +15,7 @@ cabal-version:      >= 1.22
 data-files:         src/GHC/*.spec
 
 library
-  exposed-modules:  
+  exposed-modules:
                     -- We can't really export 'GHC.Prim' or this won't build on Windows,
                     -- unfortunately. The issue is that 'GHC.Prim' is a special snowflake,
                     -- treated specially by the GHC pipeline. In particular, GHC doesn't
@@ -28,7 +28,7 @@ library
 
   hs-source-dirs:     src
   build-depends:      ghc-prim
-                    , liquidhaskell        >= 0.8.6.0
+                    , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell98
   default-extensions: PackageImports
                       NoImplicitPrelude

diff --git a/liquid-parallel/liquid-parallel.cabal b/liquid-parallel/liquid-parallel.cabal
@@ -1,5 +1,5 @@
 name:               liquid-parallel
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           LiquidHaskell specs for the parallel package
 description:        LiquidHaskell specs for the parallel package.
 license:            BSD3
@@ -17,9 +17,9 @@ data-files:           src/Control/Parallel/Strategies.spec
 library
   exposed-modules:    Control.Parallel.Strategies
   hs-source-dirs:     src
-  build-depends:      liquid-base          >= 0.8.6.0 
+  build-depends:      liquid-base          >= 0.8.10.1
                     , parallel             >= 3.0.0.0
-                    , liquidhaskell        >= 0.8.6.0
+                    , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell98
   default-extensions: PackageImports
   if impl(ghc >= 8.10)

diff --git a/liquid-platform/liquid-platform.cabal b/liquid-platform/liquid-platform.cabal
@@ -1,5 +1,5 @@
 name:               liquid-platform
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           A battery-included platform for LiquidHaskell
 description:        A battery-included platform for LiquidHaskell.
 license:            BSD3
@@ -19,8 +19,8 @@ flag devel
 
 executable liquid
   main-is:            src/Liquid.hs
-  build-depends:      liquid-base   >= 0.8.6.0
-                    , liquidhaskell
+  build-depends:      liquid-base   >= 0.8.10.1
+                    , liquidhaskell >= 0.8.10.1
                     , process       >= 1.6.0.0
                     , cmdargs       >= 0.10
   default-language:   Haskell98
@@ -37,7 +37,7 @@ executable liquid
 -- This is the (legacy and deprecated) 'liquid' executable which uses the old GHC Interface.
 executable liquid-legacy
   main-is:            src/LiquidLegacy.hs
-  build-depends:      base >= 4.9.1.0 && < 5, liquidhaskell
+  build-depends:      base >= 4.9.1.0 && < 5, liquidhaskell >= 0.8.10.1
   default-language:   Haskell98
   default-extensions: PatternGuards
   ghc-options:        -W -threaded -fdefer-typed-holes
@@ -51,7 +51,7 @@ executable gradual
                   , cmdargs
                   , hscolour
                   , liquid-fixpoint >= 0.7.0.5
-                  , liquidhaskell
+                  , liquidhaskell   >= 0.8.10.1
   default-language: Haskell2010
   buildable:        False
   ghc-options:      -W -threaded 
@@ -61,7 +61,7 @@ executable gradual
 
 executable target
   main-is:          src/Target.hs
-  build-depends:    base >= 4.8.1.0 && < 5, hint, liquidhaskell
+  build-depends:    base >= 4.8.1.0 && < 5, hint, liquidhaskell >= 0.8.10.1
   default-language: Haskell2010
   buildable:        False
 
diff --git a/liquid-prelude/liquid-prelude.cabal b/liquid-prelude/liquid-prelude.cabal
@@ -1,5 +1,5 @@
 name:               liquid-prelude
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           General utility modules for LiquidHaskell
 description:        General utility modules for LiquidHaskell.
 license:            BSD3
@@ -25,10 +25,10 @@ library
                     Language.Haskell.Liquid.Synthesize.Error
                     KMeansHelper
   hs-source-dirs:     src
-  build-depends:      liquid-base          >= 0.8.6.0 
+  build-depends:      liquid-base          >= 0.8.10.1
                     , bytestring           >= 0.10
                     , containers           >= 0.5
-                    , liquidhaskell        >= 0.8.6.0
+                    , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell98
   if impl(ghc >= 8.10)
     ghc-options: -fplugin=Language.Haskell.Liquid.GHC.Plugin 
diff --git a/liquid-vector/liquid-vector.cabal b/liquid-vector/liquid-vector.cabal
@@ -1,5 +1,5 @@
 name:               liquid-vector
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           LiquidHaskell specs for the vector package
 description:        LiquidHaskell specs for the vector package.
 license:            BSD3
@@ -22,9 +22,9 @@ library
                       Data.Vector.Internal.Check
                       Data.Vector.Unboxed.Mutable
   hs-source-dirs:     src
-  build-depends:      liquid-base          >= 0.8.6.0 
+  build-depends:      liquid-base          >= 0.8.10.1
                     , vector               >= 0.10
-                    , liquidhaskell        >= 0.8.6.0
+                    , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell98
   default-extensions: PackageImports
   if impl(ghc >= 8.10)

diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
@@ -1,5 +1,5 @@
 name:               liquidhaskell
-version:            0.8.6.0
+version:            0.8.10.1
 synopsis:           Liquid Types for Haskell
 description:        Liquid Types for Haskell.
 license:            BSD3