quickspec 2.1.3 → 2.1.4

raw patch · 4 files changed

+3/−4 lines, 4 files

Files

quickspec.cabal +1/−1
src/QuickSpec/Internal/Explore/Conditionals.hs +1/−1
src/QuickSpec/Internal/Pruning.hs +0/−1
src/QuickSpec/Internal/Testing/QuickCheck.hs +1/−1

quickspec.cabal view

@@ -1,5 +1,5 @@ Name:                quickspec-Version:             2.1.3+Version:             2.1.4 Cabal-version:       >= 1.10 Build-type:          Simple

src/QuickSpec/Internal/Explore/Conditionals.hs view

@@ -19,7 +19,7 @@ import QuickSpec.Internal.Testing import QuickSpec.Internal.Terminal import QuickSpec.Internal.Utils-import QuickSpec.Internal.Explore.Polymorphic hiding (Normal)+import QuickSpec.Internal.Explore.Polymorphic import qualified Twee.Base as Twee import Data.List import Control.Monad

src/QuickSpec/Internal/Pruning.hs view

@@ -5,7 +5,6 @@  import QuickSpec.Internal.Prop import QuickSpec.Internal.Testing-import Control.Monad import Control.Monad.Trans.Class import Control.Monad.IO.Class import Control.Monad.Trans.State.Strict

src/QuickSpec/Internal/Testing/QuickCheck.hs view

@@ -14,7 +14,7 @@ import Control.Monad.Trans.Class import Control.Monad.Trans.Reader import Data.List-import System.Random+import System.Random hiding (uniform) import QuickSpec.Internal.Terminal import Data.Lens.Light