From dea286a582294ce145432ee8fad3695a9308ee9d Mon Sep 17 00:00:00 2001 From: Michael Walker Date: Mon, 10 Aug 2015 10:37:42 +0100 Subject: [PATCH] Add Functor context to sctBoundedM for pre-AMP GHC --- Test/DejaFu/SCT.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Test/DejaFu/SCT.hs b/Test/DejaFu/SCT.hs index 45c5a8c..f2ba6dd 100755 --- a/Test/DejaFu/SCT.hs +++ b/Test/DejaFu/SCT.hs @@ -144,7 +144,7 @@ sctBoundedIO bv backtrack initialise c = sctBoundedM bv backtrack initialise run run sched s = runConcIO' sched s c -- | Generic SCT runner. -sctBoundedM :: Monad m +sctBoundedM :: (Functor m, Monad m) => ([Decision] -> Bool) -> ([BacktrackStep] -> Int -> ThreadId -> [BacktrackStep]) -> (Maybe (ThreadId, ThreadAction) -> NonEmpty (ThreadId, ThreadAction') -> NonEmpty ThreadId)