liquidhaskell 0.9.6.3.1 → 0.9.8.1
raw patch · 5 files changed
+23/−10 lines, 5 filesdep ~bytestringdep ~containersdep ~liquidhaskell-boot
Dependency ranges changed: bytestring, containers, liquidhaskell-boot
Files
- CHANGES.md +3/−2
- README.md +12/−0
- liquidhaskell.cabal +4/−4
- src/Data/ByteString/Char8_LHAssumptions.hs +2/−2
- src/Data/ByteString/Lazy/Char8_LHAssumptions.hs +2/−2
CHANGES.md view
@@ -2,9 +2,10 @@ ## Next -## 0.9.6.3.1 (2024-03-07)+## 0.9.8.1 (2024-02-05) -- Avoid enabling plugins in ghc-options (workaround for #9375)+- Set support for GHC 9.8.1 [#2248](https://github.com/ucsd-progsys/liquidhaskell/pull/2248)+- Embedded files `include/CoreToLogic.lg` and `syntax/liquid.css` in the source code [#2265](https://github.com/ucsd-progsys/liquidhaskell/issues/2265) ## 0.9.6.3 (2024-01-29)
README.md view
@@ -44,6 +44,18 @@ For those diving into the implementation of LiquidHaskell, here are a few tips: +## Running the pluging on individual files++```+stack build liquidhaskell+stack exec ghc -- -fplugin=LiquidHaskell FILE.hs+```++```+cabal build liquidhaskell+cabal exec ghc -- -fplugin=LiquidHaskell FILE.hs+```+ ## Fast (re)compilation When working on the `liquidhaskell-boot` library, usually all we want is to make changes and quickly recompile
liquidhaskell.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: liquidhaskell-version: 0.9.6.3.1+version: 0.9.8.1 synopsis: Liquid Types for Haskell description: Liquid Types for Haskell. license: BSD-3-Clause@@ -78,9 +78,9 @@ hs-source-dirs: src build-depends: base >= 4.11.1.0 && < 5,- liquidhaskell-boot == 0.9.6.3,- bytestring == 0.11.5.2,- containers == 0.6.7,+ liquidhaskell-boot == 0.9.8.1,+ bytestring == 0.12.0.2,+ containers == 0.6.8, ghc-bignum, ghc-prim default-language: Haskell98
src/Data/ByteString/Char8_LHAssumptions.hs view
@@ -276,11 +276,11 @@ , { r : Data.ByteString.ByteString | bslen r == len i } ) -assume Data.ByteString.Char8.readInt+assume Data.ByteString.ReadInt.readInt :: i : Data.ByteString.ByteString -> Maybe { p : (Int, { o : Data.ByteString.ByteString | bslen o < bslen i}) | bslen i /= 0 } -assume Data.ByteString.Char8.readInteger+assume Data.ByteString.ReadNat.readInteger :: i : Data.ByteString.ByteString -> Maybe { p : (Integer, { o : Data.ByteString.ByteString | bslen o < bslen i}) | bslen i /= 0 } @-}
src/Data/ByteString/Lazy/Char8_LHAssumptions.hs view
@@ -245,11 +245,11 @@ , { r : Data.ByteString.Lazy.ByteString | bllen r == len i } ) -assume Data.ByteString.Lazy.Char8.readInt+assume Data.ByteString.Lazy.ReadInt.readInt :: i : Data.ByteString.Lazy.ByteString -> Maybe { p : (Int, { o : Data.ByteString.Lazy.ByteString | bllen o < bllen i}) | bllen i /= 0 } -assume Data.ByteString.Lazy.Char8.readInteger+assume Data.ByteString.Lazy.ReadNat.readInteger :: i : Data.ByteString.Lazy.ByteString -> Maybe { p : (Integer, { o : Data.ByteString.Lazy.ByteString | bllen o < bllen i}) | bllen i /= 0 }