diff options
Diffstat (limited to 'doc/manual.md')
| -rw-r--r-- | doc/manual.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual.md b/doc/manual.md index 3b402e9f4..bb7b603a8 100644 --- a/doc/manual.md +++ b/doc/manual.md @@ -5419,6 +5419,8 @@ To override the compiler's side effect analysis a `{.noSideEffect.}` **Side effects are usually inferred. The inference for side effects is analogous to the inference for exception tracking.** +When the compiler cannot infer side effects, as is the case for imported +functions, one can annotate them with the `sideEffect` pragma. GC safety effect ---------------- |