File 0168-apply-raimo-s-suggestion.patch of Package erlang
From a8f5fee6cd568a54a162648ee7f47b426a94d1e8 Mon Sep 17 00:00:00 2001
From: Bryan Paxton <bryan@starbelly.io>
Date: Wed, 14 Sep 2022 07:53:05 -0500
Subject: [PATCH 8/8] apply raimo's suggestion
---
system/doc/design_principles/statem.xml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/system/doc/design_principles/statem.xml b/system/doc/design_principles/statem.xml
index 914a4ccbc8..928996613a 100644
--- a/system/doc/design_principles/statem.xml
+++ b/system/doc/design_principles/statem.xml
@@ -1922,10 +1922,10 @@ do_unlock() ->
Using a catch-all receive may result in system messages
being discarded which in turn may lead to unexpected behaviour.
If a selective receive must be used then great care should be taken to
- ensure that only non-system messages which are pertinent to the operation
- are caught. Likewise, long-running operations may result in timeouts and the
- deferment of system messages, which in turn can lead to undesirable behaviour;
- thus, a reasonable timeout for any blocking operation should be used.
+ ensure that only messages pertinent to the operation are received.
+ Likewise, a callback must return in due time to let the engine
+ receive loop handle system messages, or they might time out also
+ leading to unexpected behaviour.
</p>
<p>
The
--
2.35.3