IOSpec 0.3.1.1 → 0.3.1.2

raw patch · 3 files changed

+15/−7 lines, 3 filesdep ~mtlPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: mtl

API changes (from Hackage documentation)

Files

• IOSpec.cabal +13/−5
• src/Test/IOSpec/Types.hs +1/−1
• src/Test/IOSpec/VirtualMachine.hs +1/−1

@@ -1,8 +1,8 @@ Name:            IOSpec-Version:         0.3.1.1+Version:         0.3.1.2 License:         BSD3 License-file:    LICENSE-Cabal-Version:   >= 1.6+Cabal-Version:   >= 1.10 Author:          Wouter Swierstra,                  Yusaku Hashimoto,                  Nikolay Amiantov,@@ -53,10 +53,18 @@  Library     Build-Depends:    base >= 4.8.0.0 && < 5-      , mtl+      , mtl >= 2 && < 3       , QuickCheck >= 2 && < 3-      , Stream-    Extensions:       MultiParamTypeClasses, OverlappingInstances+      , Stream < 1+    Default-Language:   Haskell98+    Default-Extensions: MultiParamTypeClasses+       , OverlappingInstances+    Other-Extensions:   DeriveDataTypeable+       , EmptyDataDecls+       , ExistentialQuantification+       , FlexibleInstances+       , FlexibleContexts+       , TypeOperators     Ghc-options:      -Wall     Hs-source-dirs:   src     Exposed-modules:  Test.IOSpec

@@ -2,7 +2,7 @@ -- | This module contains the basic data types underlying the -- 'IOSpec' library. Most of the types and classes in this module -- are described in--- <https://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf>+-- <https://webspace.science.uu.nl/~swier004//publications/2008-jfp.pdf> module Test.IOSpec.Types   (   -- * The 'IOSpec' type.

@@ -43,7 +43,7 @@ import qualified Data.Stream as Stream import Test.IOSpec.Types import Test.QuickCheck-import Control.Monad (ap)+import Control.Monad (liftM, ap)  type Data         = Dynamic type Loc          = Int