packages feed

liquid-parallel 3.2.2.0.1 → 3.2.2.0.2

raw patch · 6 files changed

+13/−21 lines, 6 filesdep +basedep −liquid-basedep ~liquidhaskell

Dependencies added: base

Dependencies removed: liquid-base

Dependency ranges changed: liquidhaskell

Files

liquid-parallel.cabal view
@@ -1,6 +1,6 @@ cabal-version:      1.24 name:               liquid-parallel-version:            3.2.2.0.1+version:            3.2.2.0.2 synopsis:           LiquidHaskell specs for the parallel package description:        LiquidHaskell specs for the parallel package. license:            BSD3@@ -12,19 +12,15 @@ homepage:           https://github.com/ucsd-progsys/liquidhaskell build-type:         Custom -data-files:           src/Control/Parallel/Strategies.spec- custom-setup-  setup-depends: Cabal<4, base<5, liquidhaskell+  setup-depends: Cabal<4, base<5, liquidhaskell-boot  library-  exposed-modules:    Control.Seq-                      Control.Parallel-                      Control.Parallel.Strategies+  exposed-modules:    Control.Parallel.Strategies_LHAssumptions   hs-source-dirs:     src-  build-depends:      liquid-base          < 4.16+  build-depends:      base          < 5                     , parallel             >= 3.2.2.0 && < 3.3-                    , liquidhaskell        >= 0.9.0.2+                    , liquidhaskell        >= 0.9.2.5   default-language:   Haskell2010   default-extensions: PackageImports   if impl(ghc >= 8.10)
− src/Control/Parallel.hs 
@@ -1,3 +0,0 @@-module Control.Parallel (module Exports) where--import "parallel" Control.Parallel as Exports
− src/Control/Parallel/Strategies.hs 
@@ -1,3 +0,0 @@-module Control.Parallel.Strategies ( module Exports ) where--import "parallel" Control.Parallel.Strategies as Exports
− src/Control/Parallel/Strategies.spec 
@@ -1,3 +0,0 @@-module spec Control.Parallel.Strategies where--assume withStrategy :: Control.Parallel.Strategies.Strategy a -> x:a -> {v:a | v == x}
+ src/Control/Parallel/Strategies_LHAssumptions.hs view
@@ -0,0 +1,8 @@+{-# OPTIONS_GHC -Wno-unused-imports #-}+module Control.Parallel.Strategies_LHAssumptions where++import Control.Parallel.Strategies++{-@+assume Control.Parallel.Strategies.withStrategy :: Control.Parallel.Strategies.Strategy a -> x:a -> {v:a | v == x}+@-}
− src/Control/Seq.hs 
@@ -1,3 +0,0 @@-module Control.Seq (module Exports) where--import "parallel" Control.Seq as Exports