diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-10-01 15:04:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-01 15:04:36 +0200 |
| commit | ab405c936e77a875199aa1ee0f99eddd3d5a0c10 (patch) | |
| tree | 5fb692102a125746bb4a05f767cfa7e16b6d54e3 /doc/manual_experimental.rst | |
| parent | 79a92da8efdb895ba5762ca9ed0471a3a5846068 (diff) | |
| download | Nim-ab405c936e77a875199aa1ee0f99eddd3d5a0c10.tar.gz | |
views: yet another bugfix (#15447)
* views: yet another bugfix * views: extended the spec * views: take into account potential hidden mutations via proc calls
Diffstat (limited to 'doc/manual_experimental.rst')
| -rw-r--r-- | doc/manual_experimental.rst | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/manual_experimental.rst b/doc/manual_experimental.rst index abb699d1f..a71fd00b9 100644 --- a/doc/manual_experimental.rst +++ b/doc/manual_experimental.rst @@ -1988,6 +1988,22 @@ borrow operation of ``v`` even though a human being can easily see that it will never do that at runtime. +Start of a borrow +----------------- + +A borrow starts with one of the following: + +- The assignment of a non-view-type to a view-type. +- The assingment of a location that is derived from a local parameter + to a view-type. + + +End of a borrow +--------------- + +A borrow operation ends with the last usage of the view variable. + + Reborrows --------- |