git.iko.soy/distributed-process
on master help sign in
Reference to semantics
10e3bd2Edsko de Vries
distributed-process/src/Control/Distributed/Process.hs+2
@@ -371,6 +371,8 @@ ncSendLocal lpid msg = do
371 node <- ask
371 node <- ask
372 liftIO $ do
372 liftIO $ do
373 mProc <- withMVar (localState node) $ return . (^. localProcessWithId lpid)
373 mProc <- withMVar (localState node) $ return . (^. localProcessWithId lpid)
374+ -- By [Unified: table 6, rule missing_process] messages to dead processes
375+ -- can silently be dropped
374 forM_ mProc $ \proc -> enqueue (processQueue proc) msg
376 forM_ mProc $ \proc -> enqueue (processQueue proc) msg
375
377
376ncConnTo :: Identifier -> NC (Maybe NT.Connection)
378ncConnTo :: Identifier -> NC (Maybe NT.Connection)