packages feed

liquid-base 4.14.3.0 → 4.15.0.0

raw patch · 3 files changed

+7/−7 lines, 3 filesdep ~basedep ~liquidhaskell

Dependency ranges changed: base, liquidhaskell

Files

liquid-base.cabal view
@@ -1,8 +1,8 @@ cabal-version:      1.24 name:               liquid-base-version:            4.14.3.0-synopsis:           Drop-in base replacement for LH-description:        Superseded by liquidhaskell >= 9.2+version:            4.15.0.0+synopsis:           Drop-in base replacement for LiquidHaskell+description:        Drop-in base replacement for LiquidHaskell. license:            BSD3 license-file:       LICENSE copyright:          2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.@@ -23,7 +23,7 @@                     src/Control/*.spec  custom-setup-  setup-depends: Cabal<4, base<5, liquidhaskell+  setup-depends: Cabal, base, liquidhaskell  library   exposed-modules:  Control.Applicative@@ -244,9 +244,9 @@                     Liquid.Prelude.Totality    hs-source-dirs:     src-  build-depends:      base                 == 4.14.3.0+  build-depends:      base                 == 4.15.0.0                     , liquid-ghc-prim-                    , liquidhaskell        >= 0.8.10.7.1 && < 0.9+                    , liquidhaskell        >= 0.8.10.1   if impl(ghc < 9)     build-depends:    integer-gmp < 1.0.4.0   default-language:   Haskell2010
src/Data/Typeable.hs view
src/Foreign/ForeignPtr.spec view
@@ -3,7 +3,7 @@ import GHC.ForeignPtr import Foreign.Ptr -Foreign.ForeignPtr.withForeignPtr :: forall a b. fp:(GHC.ForeignPtr.ForeignPtr a) +GHC.ForeignPtr.withForeignPtr :: forall a b. fp:(GHC.ForeignPtr.ForeignPtr a)    -> ((PtrN a (fplen fp)) -> GHC.Types.IO b)    -> (GHC.Types.IO b)