diff options
| -rw-r--r-- | doc/manual.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.md b/doc/manual.md index fba905bb9..8f419705e 100644 --- a/doc/manual.md +++ b/doc/manual.md @@ -5160,7 +5160,7 @@ possibly raised exceptions; the algorithm operates on `p`'s call graph: raise `system.Exception` (the base type of the exception hierarchy) and thus any exception unless `T` has an explicit `raises` list. However, if the call is of the form `f(...)` where `f` is a parameter of - the currently analyzed routine it is ignored that is marked as `.effectsOf: f`. + the currently analyzed routine that is marked as `.effectsOf: f`, it is ignored. The call is optimistically assumed to have no effect. Rule 2 compensates for this case. 2. Every expression `e` of some proc type within a call that is passed to parameter |