From 1fc5aa5565dda7106f0abdf8b602faf01d63473d Mon Sep 17 00:00:00 2001 From: Michael Walker Date: Sun, 4 Dec 2016 19:52:41 +0000 Subject: [PATCH] Rename 'Test.DPOR.Schedule' to 'Test.DejaFu.Schedule' --- dejafu/Test/DPOR/Internal.hs | 2 +- dejafu/Test/DejaFu/Common.hs | 2 +- dejafu/Test/DejaFu/Conc.hs | 4 ++-- dejafu/Test/DejaFu/Conc/Internal.hs | 2 +- dejafu/Test/{DPOR => DejaFu}/Schedule.hs | 4 ++-- dejafu/dejafu.cabal | 2 +- 6 files changed, 8 insertions(+), 8 deletions(-) rename dejafu/Test/{DPOR => DejaFu}/Schedule.hs (98%) diff --git a/dejafu/Test/DPOR/Internal.hs b/dejafu/Test/DPOR/Internal.hs index cb2f107..258ca32 100644 --- a/dejafu/Test/DPOR/Internal.hs +++ b/dejafu/Test/DPOR/Internal.hs @@ -24,7 +24,7 @@ import qualified Data.Set as S import Data.Sequence (Seq, ViewL(..), (|>)) import qualified Data.Sequence as Sq -import Test.DPOR.Schedule (Decision(..), Scheduler, decisionOf, tidOf) +import Test.DejaFu.Schedule (Decision(..), Scheduler, decisionOf, tidOf) ------------------------------------------------------------------------------- -- * Dynamic partial-order reduction diff --git a/dejafu/Test/DejaFu/Common.hs b/dejafu/Test/DejaFu/Common.hs index 12d5d39..df59a69 100644 --- a/dejafu/Test/DejaFu/Common.hs +++ b/dejafu/Test/DejaFu/Common.hs @@ -67,7 +67,7 @@ import Data.List (sort, nub, intercalate) import Data.Maybe (fromMaybe, mapMaybe) import Data.Set (Set) import qualified Data.Set as S -import Test.DPOR.Schedule (Decision(..)) +import Test.DejaFu.Schedule (Decision(..)) import Test.DPOR.Internal (Trace) ------------------------------------------------------------------------------- diff --git a/dejafu/Test/DejaFu/Conc.hs b/dejafu/Test/DejaFu/Conc.hs index ea06bb2..16d637b 100755 --- a/dejafu/Test/DejaFu/Conc.hs +++ b/dejafu/Test/DejaFu/Conc.hs @@ -42,7 +42,7 @@ module Test.DejaFu.Conc , showFail -- * Scheduling - , module Test.DPOR.Schedule + , module Test.DejaFu.Schedule ) where import Control.Exception (MaskingState(..)) @@ -56,7 +56,7 @@ import Data.IORef (IORef) import qualified Data.Map.Strict as M import Data.Maybe (fromJust) import Data.STRef (STRef) -import Test.DPOR.Schedule +import Test.DejaFu.Schedule import qualified Control.Monad.Conc.Class as C import Test.DejaFu.Common diff --git a/dejafu/Test/DejaFu/Conc/Internal.hs b/dejafu/Test/DejaFu/Conc/Internal.hs index 74acf9b..ae0afab 100755 --- a/dejafu/Test/DejaFu/Conc/Internal.hs +++ b/dejafu/Test/DejaFu/Conc/Internal.hs @@ -22,12 +22,12 @@ import Data.List (sort) import Data.List.NonEmpty (NonEmpty(..), fromList) import qualified Data.Map.Strict as M import Data.Maybe (fromJust, isJust, isNothing, listToMaybe) -import Test.DPOR.Schedule (Scheduler) import Test.DejaFu.Common import Test.DejaFu.Conc.Internal.Common import Test.DejaFu.Conc.Internal.Memory import Test.DejaFu.Conc.Internal.Threading +import Test.DejaFu.Schedule import Test.DejaFu.STM (Result(..)) {-# ANN module ("HLint: ignore Use record patterns" :: String) #-} diff --git a/dejafu/Test/DPOR/Schedule.hs b/dejafu/Test/DejaFu/Schedule.hs similarity index 98% rename from dejafu/Test/DPOR/Schedule.hs rename to dejafu/Test/DejaFu/Schedule.hs index beef5d8..0a9e016 100644 --- a/dejafu/Test/DPOR/Schedule.hs +++ b/dejafu/Test/DejaFu/Schedule.hs @@ -1,5 +1,5 @@ -- | --- Module : Test.DPOR.Schedule +-- Module : Test.DejaFu.Schedule -- Copyright : (c) 2016 Michael Walker -- License : MIT -- Maintainer : Michael Walker @@ -7,7 +7,7 @@ -- Portability : portable -- -- Scheduling for concurrent computations. -module Test.DPOR.Schedule +module Test.DejaFu.Schedule ( -- * Scheduling Scheduler diff --git a/dejafu/dejafu.cabal b/dejafu/dejafu.cabal index d9eb03f..58958b0 100755 --- a/dejafu/dejafu.cabal +++ b/dejafu/dejafu.cabal @@ -80,11 +80,11 @@ library exposed-modules: Test.DejaFu , Test.DejaFu.Conc , Test.DejaFu.Common + , Test.DejaFu.Schedule , Test.DejaFu.SCT , Test.DejaFu.STM , Test.DPOR.Internal - , Test.DPOR.Schedule , Test.DejaFu.Conc.Internal , Test.DejaFu.Conc.Internal.Common