barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2025-01-05 12:15:12 +03:00
Code Issues Projects Releases Wiki Activity

hlint fixes

Browse Source
This commit is contained in:
Michael Walker 2016-03-29 21:07:15 +01:00
parent 20a18ae598
commit 05741e1cd8
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
dejafu/Test/DejaFu/SCT.hs
View File

@ -1,5 +1,4 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RankNTypes #-}
-- | Systematic testing for concurrent computations. -- | Systematic testing for concurrent computations.
module Test.DejaFu.SCT module Test.DejaFu.SCT
@ -205,7 +204,7 @@ pBacktrack = preempBacktrack isCommit
-- that it does not count pre-emptive context switches to a commit -- that it does not count pre-emptive context switches to a commit
-- thread. -- thread.
pBound :: PreemptionBound -> BoundFunc ThreadId ThreadAction Lookahead pBound :: PreemptionBound -> BoundFunc ThreadId ThreadAction Lookahead
pBound (PreemptionBound pb) ts dl = preEmpCount ts dl <= pb where pBound (PreemptionBound pb) ts dl = preEmpCount ts dl <= pb
------------------------------------------------------------------------------- -------------------------------------------------------------------------------
-- Fair bounding -- Fair bounding