lio 0.9.1.1 → 0.9.1.2

raw patch · 5 files changed

+3/−8 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

LIO/Concurrent.hs +0/−1
LIO/Core.hs +1/−3
LIO/FS/TCB.hs +0/−2
LIO/Handle.hs +1/−1
lio.cabal +1/−1

LIO/Concurrent.hs view

@@ -125,7 +125,6 @@       in if canFlowToP p endLabel l            then res            else Left $! LabeledExceptionTCB le (toException e)-    forever $ return ()   return $ LabeledResultTCB { lresThreadIdTCB = tid, lresResultTCB = mv }     where -- raise the label of the exception to the join of the           -- exception label and supplied lForkP upper bound

LIO/Core.hs view

@@ -106,7 +106,6 @@   , guardWrite, guardWriteP   ) where -import           Prelude hiding (catch) import           Data.Typeable  import           Control.Monad@@ -238,9 +237,8 @@ -- 'guardAllocP' to the supplied label. withClearanceP :: Priv l p => p -> l -> LIO l a -> LIO l a withClearanceP p l act = do-  guardAllocP p l   c <- getClearance-  liftLIO . updateLIOStateTCB $ \s -> s { lioClearance = l }+  setClearanceP p l   act `finally` (updateLIOStateTCB $ \s ->                    s { lioClearance = c `lub` lioLabel s })

LIO/FS/TCB.hs view

@@ -31,8 +31,6 @@   , lazyEncodeLabel, encodeLabel, decodeLabel   ) where -import           Prelude hiding (catch)- import           Data.Serialize import           Data.Typeable import           Data.IORef

LIO/Handle.hs view

@@ -80,7 +80,7 @@                   , hIsWritable, hIsWritableP                   ) where -import Prelude hiding (catch, readFile, writeFile)+import Prelude hiding (readFile, writeFile)  import           Data.Serialize import qualified Data.ByteString.Char8 as S8

lio.cabal view

@@ -1,5 +1,5 @@ Name:           lio-Version:        0.9.1.1+Version:        0.9.1.2 Cabal-Version:  >= 1.8 Build-type:     Simple License:        GPL