@@ -43,8 +43,6 @@ data Context = forall m a b. Context
43 -- XXX All of the following can be removed
43 -- XXX All of the following can be removed
44 -- Even the remote status can be removed by the same logic
44 -- Even the remote status can be removed by the same logic
48 , parentChannel :: Maybe (TChan ThreadId)
46 , parentChannel :: Maybe (TChan ThreadId)
49 -- ^ Our parent thread's channel to communicate to when we die
47 -- ^ Our parent thread's channel to communicate to when we die
@@ -98,7 +96,6 @@ initContext x childChan pending credit =
98 , currentm = x
96 , currentm = x
99 , fstack = []
97 , fstack = []
100 , mfData = mempty
98 , mfData = mempty
102 , parentChannel = Nothing
99 , parentChannel = Nothing
103 , childChannel = childChan
100 , childChannel = childChan
104 , pendingThreads = pending
101 , pendingThreads = pending
@@ -137,18 +134,3 @@ modifyData f = modify $ \st -> st { mfData = M.alter alterf t (mfData st) }
138delData :: (MonadState Context m, Typeable a) => a -> m ()
135delData :: (MonadState Context m, Typeable a) => a -> m ()
139delData x = modify $ \st -> st { mfData = M.delete (typeOf x) (mfData st) }
136delData x = modify $ \st -> st { mfData = M.delete (typeOf x) (mfData st) }
142−getPrevId :: MonadState EventF m => m Int
143−getPrevId = gets mfSequence
145−-- | Generator of identifiers that are unique within the current monadic
146−-- sequence They are not unique in the whole program.
147−genId :: MonadState EventF m => m Int
150− let n = mfSequence st
151− put st { mfSequence = n + 1 }