IOSpec 0.2.4 → 0.2.5

raw patch · 6 files changed

+6/−6 lines, 6 files

Files

IOSpec.cabal +1/−1
src/Test/IOSpec/Fork.hs +1/−1
src/Test/IOSpec/IORef.hs +1/−1
src/Test/IOSpec/MVar.hs +1/−1
src/Test/IOSpec/STM.hs +1/−1
src/Test/IOSpec/Teletype.hs +1/−1

IOSpec.cabal view

@@ -1,5 +1,5 @@ Name:		        IOSpec-Version:        	0.2.4+Version:        	0.2.5 License:        	BSD3 License-file:		LICENSE Author:			Wouter Swierstra, Yusaku Hashimoto

src/Test/IOSpec/Fork.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE ExistentialQuantification, FlexibleContexts #-}+{-# LANGUAGE ExistentialQuantification, FlexibleContexts, TypeOperators #-} -- | A pure specification of 'forkIO'. module Test.IOSpec.Fork    (

src/Test/IOSpec/IORef.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleContexts, TypeOperators #-} -- | A pure specification of mutable variables. module Test.IOSpec.IORef    (

src/Test/IOSpec/MVar.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE DeriveDataTypeable, FlexibleContexts #-}+{-# LANGUAGE DeriveDataTypeable, FlexibleContexts, TypeOperators #-} -- | A pure specification of basic operations on MVars.  module Test.IOSpec.MVar

src/Test/IOSpec/STM.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE ExistentialQuantification, FlexibleContexts #-}+{-# LANGUAGE ExistentialQuantification, FlexibleContexts, TypeOperators #-}  module Test.IOSpec.STM    (

src/Test/IOSpec/Teletype.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleContexts, TypeOperators #-} -- | A pure specification of getChar and putChar. module Test.IOSpec.Teletype    (