liquidhaskell 0.9.4.7.0 → 0.9.6.3
raw patch · 3 files changed
+7/−5 lines, 3 filesdep ~liquidhaskell-boot
Dependency ranges changed: liquidhaskell-boot
Files
- CHANGES.md +3/−1
- README.md +1/−1
- liquidhaskell.cabal +3/−3
CHANGES.md view
@@ -2,7 +2,9 @@ ## Next --+## 0.9.6.3 (2024-01-29)++- Set support for GHC 9.6.3 ## 0.9.4.7.0
README.md view
@@ -349,7 +349,7 @@ [typechecking phase]: liquidhaskell-boot/src/Language/Haskell/Liquid/GHC/Plugin.hs#L211-L226 [ghcide]: https://github.com/haskell/ghcide [findRelevantSpecs]: liquidhaskell-boot/src/Language/Haskell/Liquid/GHC/Plugin/SpecFinder.hs#L65-[core binds]: https://hackage.haskell.org/package/ghc-9.4.7/docs/GHC-Core.html#t:CoreBind+[core binds]: https://hackage.haskell.org/package/ghc-9.6.3/docs/GHC-Core.html#t:CoreBind [configureGhcTargets]: liquidhaskell-boot/src/Language/Haskell/Liquid/GHC/Interface.hs#L254 [processTargetModule]: liquidhaskell-boot/src/Language/Haskell/Liquid/GHC/Interface.hs#L483 [processModule]: liquidhaskell-boot/src/Language/Haskell/Liquid/GHC/Plugin.hs#L509
liquidhaskell.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: liquidhaskell-version: 0.9.4.7.0+version: 0.9.6.3 synopsis: Liquid Types for Haskell description: Liquid Types for Haskell. license: BSD-3-Clause@@ -11,7 +11,7 @@ category: Language homepage: https://github.com/ucsd-progsys/liquidhaskell build-type: Custom-tested-with: GHC == 9.4.7+tested-with: GHC == 9.6.3 extra-doc-files: CHANGES.md README.md @@ -78,7 +78,7 @@ hs-source-dirs: src build-depends: base >= 4.11.1.0 && < 5,- liquidhaskell-boot == 0.9.4.7.0,+ liquidhaskell-boot == 0.9.6.3, bytestring == 0.11.5.2, containers == 0.6.7, ghc-bignum,