Cabal revisions of liquid-base-4.15.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.24-name: liquid-base-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.-author: Ranjit Jhala, Niki Vazou, Eric Seidel-maintainer: Ranjit Jhala <jhala@cs.ucsd.edu>-category: Language-homepage: https://github.com/ucsd-progsys/liquidhaskell-build-type: Custom--data-files: src/Data/*.spec- src/System/*.spec- src/GHC/IO/Handle.spec- src/GHC/*.spec- src/Prelude.spec- src/Liquid/Prelude/*.spec- src/Foreign/C/*.spec- src/Foreign/*.spec- src/Control/*.spec--custom-setup- setup-depends: Cabal, base, liquidhaskell--library- exposed-modules: Control.Applicative- Control.Arrow- Control.Category- Control.Concurrent- Control.Concurrent.Chan- Control.Concurrent.MVar- Control.Concurrent.QSem- Control.Concurrent.QSemN- Control.Exception- Control.Exception.Base- Control.Monad- Control.Monad.Fail- Control.Monad.Fix- Control.Monad.Instances- Control.Monad.IO.Class- Control.Monad.ST- Control.Monad.ST.Lazy- Control.Monad.ST.Lazy.Safe- Control.Monad.ST.Lazy.Unsafe- Control.Monad.ST.Safe- Control.Monad.ST.Strict- Control.Monad.ST.Unsafe- Control.Monad.Zip- Data.Bifoldable- Data.Bifunctor- Data.Bitraversable- Data.Bits- Data.Bool- Data.Char- Data.Coerce- Data.Complex- Data.Data- Data.Dynamic- Data.Either- Data.Eq- Data.Fixed- Data.Foldable- Data.Function- Data.Functor- Data.Functor.Classes- Data.Functor.Contravariant- Data.Functor.Compose- Data.Functor.Const- Data.Functor.Identity- Data.Functor.Product- Data.Functor.Sum- Data.IORef- Data.Int- Data.Ix- Data.Kind- Data.List- Data.List.NonEmpty- Data.Maybe- Data.Monoid- Data.Ord- Data.Proxy- Data.Ratio- Data.Semigroup- Data.STRef- Data.STRef.Lazy- Data.STRef.Strict- Data.String- Data.Traversable- Data.Tuple- Data.Type.Bool- Data.Type.Coercion- Data.Type.Equality- Data.Typeable- Data.Unique- Data.Version- Data.Void- Data.Word- Debug.Trace- Foreign- Foreign.C- Foreign.C.Error- Foreign.C.String- Foreign.C.Types- Foreign.Concurrent- Foreign.ForeignPtr- Foreign.ForeignPtr.Safe- Foreign.ForeignPtr.Unsafe- Foreign.Marshal- Foreign.Marshal.Alloc- Foreign.Marshal.Array- Foreign.Marshal.Error- Foreign.Marshal.Pool- Foreign.Marshal.Safe- Foreign.Marshal.Unsafe- Foreign.Marshal.Utils- Foreign.Ptr- Foreign.Safe- Foreign.StablePtr- Foreign.Storable- GHC.Arr- GHC.Base- GHC.ByteOrder- GHC.Char- GHC.Clock- GHC.Conc- GHC.Conc.IO- GHC.Conc.Signal- GHC.Conc.Sync- GHC.ConsoleHandler- GHC.Constants- GHC.Desugar- GHC.Enum- GHC.Environment- GHC.Err- GHC.Exception- GHC.Exception.Type- GHC.ExecutionStack- GHC.ExecutionStack.Internal- GHC.Exts- GHC.Fingerprint- GHC.Fingerprint.Type- GHC.Float- GHC.Float.ConversionUtils- GHC.Float.RealFracMethods- GHC.Foreign- GHC.ForeignPtr- GHC.GHCi- GHC.GHCi.Helpers- GHC.Generics- GHC.IO- GHC.IO.Buffer- GHC.IO.BufferedIO- GHC.IO.Device- GHC.IO.Encoding- GHC.IO.Encoding.CodePage- GHC.IO.Encoding.Failure- GHC.IO.Encoding.Iconv- GHC.IO.Encoding.Latin1- GHC.IO.Encoding.Types- GHC.IO.Encoding.UTF16- GHC.IO.Encoding.UTF32- GHC.IO.Encoding.UTF8- GHC.IO.Exception- GHC.IO.FD- GHC.IO.Handle- GHC.IO.Handle.FD- GHC.IO.Handle.Internals- GHC.IO.Handle.Lock- GHC.IO.Handle.Text- GHC.IO.Handle.Types- GHC.IO.IOMode- GHC.IO.Unsafe- GHC.IOArray- GHC.IORef- GHC.Int- GHC.Ix- GHC.List- GHC.Maybe- GHC.MVar- GHC.Natural- GHC.Num- GHC.OldList- GHC.OverloadedLabels- GHC.Pack- GHC.Profiling- GHC.Ptr- GHC.Read- GHC.Real- GHC.Records- GHC.ResponseFile- GHC.RTS.Flags- GHC.ST- GHC.StaticPtr- GHC.STRef- GHC.Show- GHC.Stable- GHC.StableName- GHC.Stack- GHC.Stack.CCS- GHC.Stack.Types- GHC.Stats- GHC.Storable- GHC.TopHandler- GHC.TypeLits- GHC.TypeNats- GHC.Unicode- GHC.Weak- GHC.Word- Numeric- Numeric.Natural- Prelude- System.CPUTime- System.Console.GetOpt- System.Environment- System.Environment.Blank- System.Exit- System.IO- System.IO.Error- System.IO.Unsafe- System.Info- System.Mem- System.Mem.StableName- System.Mem.Weak- System.Posix.Internals- System.Posix.Types- System.Timeout- Text.ParserCombinators.ReadP- Text.ParserCombinators.ReadPrec- Text.Printf- Text.Read- Text.Read.Lex- Text.Show- Text.Show.Functions- Type.Reflection- Type.Reflection.Unsafe- Unsafe.Coerce-- -- Liquid special modules- Liquid.Prelude.Real- Liquid.Prelude.NotReal- Liquid.Prelude.Totality-- hs-source-dirs: src- build-depends: base == 4.15.0.0- , liquid-ghc-prim- , liquidhaskell >= 0.8.10.1- if impl(ghc < 9)- build-depends: integer-gmp < 1.0.4.0- default-language: Haskell2010- default-extensions: PackageImports- NoImplicitPrelude- if impl(ghc >= 8.10)- ghc-options: -fplugin=LiquidHaskell+cabal-version: 1.24 +name: liquid-base +version: 4.15.0.0 +x-revision: 1 +synopsis: base specs for LiquidHaskell +description: Superseded by liquidhaskell >= 0.9.2. +license: BSD3 +license-file: LICENSE +copyright: 2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego. +author: Ranjit Jhala, Niki Vazou, Eric Seidel +maintainer: Ranjit Jhala <jhala@cs.ucsd.edu> +category: Language +homepage: https://github.com/ucsd-progsys/liquidhaskell +build-type: Custom + +data-files: src/Data/*.spec + src/System/*.spec + src/GHC/IO/Handle.spec + src/GHC/*.spec + src/Prelude.spec + src/Liquid/Prelude/*.spec + src/Foreign/C/*.spec + src/Foreign/*.spec + src/Control/*.spec + +custom-setup + setup-depends: Cabal, base, liquidhaskell + +library + exposed-modules: Control.Applicative + Control.Arrow + Control.Category + Control.Concurrent + Control.Concurrent.Chan + Control.Concurrent.MVar + Control.Concurrent.QSem + Control.Concurrent.QSemN + Control.Exception + Control.Exception.Base + Control.Monad + Control.Monad.Fail + Control.Monad.Fix + Control.Monad.Instances + Control.Monad.IO.Class + Control.Monad.ST + Control.Monad.ST.Lazy + Control.Monad.ST.Lazy.Safe + Control.Monad.ST.Lazy.Unsafe + Control.Monad.ST.Safe + Control.Monad.ST.Strict + Control.Monad.ST.Unsafe + Control.Monad.Zip + Data.Bifoldable + Data.Bifunctor + Data.Bitraversable + Data.Bits + Data.Bool + Data.Char + Data.Coerce + Data.Complex + Data.Data + Data.Dynamic + Data.Either + Data.Eq + Data.Fixed + Data.Foldable + Data.Function + Data.Functor + Data.Functor.Classes + Data.Functor.Contravariant + Data.Functor.Compose + Data.Functor.Const + Data.Functor.Identity + Data.Functor.Product + Data.Functor.Sum + Data.IORef + Data.Int + Data.Ix + Data.Kind + Data.List + Data.List.NonEmpty + Data.Maybe + Data.Monoid + Data.Ord + Data.Proxy + Data.Ratio + Data.Semigroup + Data.STRef + Data.STRef.Lazy + Data.STRef.Strict + Data.String + Data.Traversable + Data.Tuple + Data.Type.Bool + Data.Type.Coercion + Data.Type.Equality + Data.Typeable + Data.Unique + Data.Version + Data.Void + Data.Word + Debug.Trace + Foreign + Foreign.C + Foreign.C.Error + Foreign.C.String + Foreign.C.Types + Foreign.Concurrent + Foreign.ForeignPtr + Foreign.ForeignPtr.Safe + Foreign.ForeignPtr.Unsafe + Foreign.Marshal + Foreign.Marshal.Alloc + Foreign.Marshal.Array + Foreign.Marshal.Error + Foreign.Marshal.Pool + Foreign.Marshal.Safe + Foreign.Marshal.Unsafe + Foreign.Marshal.Utils + Foreign.Ptr + Foreign.Safe + Foreign.StablePtr + Foreign.Storable + GHC.Arr + GHC.Base + GHC.ByteOrder + GHC.Char + GHC.Clock + GHC.Conc + GHC.Conc.IO + GHC.Conc.Signal + GHC.Conc.Sync + GHC.ConsoleHandler + GHC.Constants + GHC.Desugar + GHC.Enum + GHC.Environment + GHC.Err + GHC.Exception + GHC.Exception.Type + GHC.ExecutionStack + GHC.ExecutionStack.Internal + GHC.Exts + GHC.Fingerprint + GHC.Fingerprint.Type + GHC.Float + GHC.Float.ConversionUtils + GHC.Float.RealFracMethods + GHC.Foreign + GHC.ForeignPtr + GHC.GHCi + GHC.GHCi.Helpers + GHC.Generics + GHC.IO + GHC.IO.Buffer + GHC.IO.BufferedIO + GHC.IO.Device + GHC.IO.Encoding + GHC.IO.Encoding.CodePage + GHC.IO.Encoding.Failure + GHC.IO.Encoding.Iconv + GHC.IO.Encoding.Latin1 + GHC.IO.Encoding.Types + GHC.IO.Encoding.UTF16 + GHC.IO.Encoding.UTF32 + GHC.IO.Encoding.UTF8 + GHC.IO.Exception + GHC.IO.FD + GHC.IO.Handle + GHC.IO.Handle.FD + GHC.IO.Handle.Internals + GHC.IO.Handle.Lock + GHC.IO.Handle.Text + GHC.IO.Handle.Types + GHC.IO.IOMode + GHC.IO.Unsafe + GHC.IOArray + GHC.IORef + GHC.Int + GHC.Ix + GHC.List + GHC.Maybe + GHC.MVar + GHC.Natural + GHC.Num + GHC.OldList + GHC.OverloadedLabels + GHC.Pack + GHC.Profiling + GHC.Ptr + GHC.Read + GHC.Real + GHC.Records + GHC.ResponseFile + GHC.RTS.Flags + GHC.ST + GHC.StaticPtr + GHC.STRef + GHC.Show + GHC.Stable + GHC.StableName + GHC.Stack + GHC.Stack.CCS + GHC.Stack.Types + GHC.Stats + GHC.Storable + GHC.TopHandler + GHC.TypeLits + GHC.TypeNats + GHC.Unicode + GHC.Weak + GHC.Word + Numeric + Numeric.Natural + Prelude + System.CPUTime + System.Console.GetOpt + System.Environment + System.Environment.Blank + System.Exit + System.IO + System.IO.Error + System.IO.Unsafe + System.Info + System.Mem + System.Mem.StableName + System.Mem.Weak + System.Posix.Internals + System.Posix.Types + System.Timeout + Text.ParserCombinators.ReadP + Text.ParserCombinators.ReadPrec + Text.Printf + Text.Read + Text.Read.Lex + Text.Show + Text.Show.Functions + Type.Reflection + Type.Reflection.Unsafe + Unsafe.Coerce + + -- Liquid special modules + Liquid.Prelude.Real + Liquid.Prelude.NotReal + Liquid.Prelude.Totality + + hs-source-dirs: src + build-depends: base == 4.15.0.0 + , liquid-ghc-prim + , liquidhaskell >= 0.8.10.1 && < 0.9 + if impl(ghc < 9) + build-depends: integer-gmp < 1.0.4.0 + default-language: Haskell2010 + default-extensions: PackageImports + NoImplicitPrelude + if impl(ghc >= 8.10) + ghc-options: -fplugin=LiquidHaskell
revision 2
cabal-version: 1.24 name: liquid-base version: 4.15.0.0 -x-revision: 1 +x-revision: 2 synopsis: base specs for LiquidHaskell description: Superseded by liquidhaskell >= 0.9.2. license: BSD3 hs-source-dirs: src build-depends: base == 4.15.0.0 , liquid-ghc-prim - , liquidhaskell >= 0.8.10.1 && < 0.9 + , liquidhaskell >= 0.8.10.1 && < 0.9.2 if impl(ghc < 9) build-depends: integer-gmp < 1.0.4.0 default-language: Haskell2010