liquid-vector 0.12.3.1.2 → 0.13.1.0.1
raw patch · 2 files changed
+5/−4 lines, 2 filesdep ~liquidhaskelldep ~vector
Dependency ranges changed: liquidhaskell, vector
Files
liquid-vector.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.24 name: liquid-vector-version: 0.12.3.1.2+version: 0.13.1.0.1 synopsis: LiquidHaskell specs for the vector package description: LiquidHaskell specs for the vector package. license: BSD3@@ -19,10 +19,10 @@ exposed-modules: Data.Vector_LHAssumptions hs-source-dirs: src build-depends: base < 5- , vector >= 0.12.3.1 && < 0.14- , liquidhaskell >= 0.9.2.5+ , vector >= 0.13.1.0 && < 0.14+ , liquidhaskell >= 0.9.2.8 default-language: Haskell2010 default-extensions: PackageImports if impl(ghc >= 8.10)- ghc-options: -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--no-positivity-check+ ghc-options: -fplugin-opt=LiquidHaskell:--no-positivity-check
src/Data/Vector_LHAssumptions.hs view
@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-} {-# OPTIONS_GHC -Wno-unused-imports #-} module Data.Vector_LHAssumptions where