liquid-prelude 0.8.10.2 → 0.9.0.2
raw patch · 2 files changed
+16/−5 lines, 2 filesdep ~bytestringdep ~containersdep ~liquidhaskellnew-uploader
Dependency ranges changed: bytestring, containers, liquidhaskell
Files
liquid-prelude.cabal view
@@ -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@@ -13,7 +13,7 @@ build-type: Custom custom-setup- setup-depends: Cabal, base, liquidhaskell+ setup-depends: Cabal<4, base<5, liquidhaskell library exposed-modules: Language.Haskell.Liquid.RTick@@ -29,9 +29,10 @@ 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+
src/Language/Haskell/Liquid/ProofCombinators.hs view
@@ -33,6 +33,8 @@ , withProof , impossible + -- * PLE-specific+ , pleUnfold ) where @@ -180,4 +182,12 @@ {-@ type Prop E = {v:_ | prop v = E} @-} +-------------------------------------------------------------------------------+-- PLE-specific+------------------------------------------------------------------------------- +-- | Forces PLE to unfold a function application if the body of the function+-- starts with an application of @pleUnfold@.+{-@ reflect pleUnfold @-}+pleUnfold :: a -> a+pleUnfold x = x