liquid-prelude 0.9.2.8.1 → 0.9.2.8.2

raw patch · 2 files changed

+4/−6 lines, 2 filesdep ~liquidhaskell

Dependency ranges changed: liquidhaskell

Files

• liquid-prelude.cabal +3/−3
• src/Language/Haskell/Liquid/ProofCombinators.hs +1/−3

@@ -1,6 +1,6 @@ cabal-version:      1.24 name:               liquid-prelude-version:            0.9.2.8.1+version:            0.9.2.8.2 synopsis:           General utility modules for LiquidHaskell description:        General utility modules for LiquidHaskell. license:            BSD3@@ -28,7 +28,7 @@   hs-source-dirs:     src   build-depends:      base          < 5                     , ghc-prim-                    , bytestring           >= 0.10.12.1 && < 0.12-                    , containers           >= 0.6.4.1  && < 0.7+                    , bytestring           >= 0.10.12.1+                    , containers           >= 0.6.4.1                     , liquidhaskell        >= 0.9.2.8   default-language:   Haskell2010

@@ -149,11 +149,9 @@ -- | The above operators check each intermediate proof step. --   The operator `==.` below accepts an optional proof term --   argument, but does not check intermediate steps.---   TODO: What is it USEFUL FOR?+--   So, using `==.` the proofs are faster, but the error messages worse.   infixl 3 ==.--{-# DEPRECATED (==.) "Use (===) instead" #-}  {-# INLINE (==.) #-}  (==.) :: a -> a -> a