diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2016-11-01 09:44:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-01 09:44:44 +0100 |
| commit | d4c35da4700c1d2de4dc18e18b065b9b0108835a (patch) | |
| tree | a2c64111f6204649abb841d471a4e84934cdc2ad | |
| parent | 88ac25c3d93543c57ca7a4a4c32701a1e736fc00 (diff) | |
| parent | 456b3d32314f36555fecd65f93cf75ba93abddf2 (diff) | |
| download | Nim-d4c35da4700c1d2de4dc18e18b065b9b0108835a.tar.gz | |
Merge pull request #4979 from singularperturbation/doc_ptr
(minor) Doc change for #3130
| -rw-r--r-- | doc/manual/types.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/types.txt b/doc/manual/types.txt index 02426e0d9..c81bc042b 100644 --- a/doc/manual/types.txt +++ b/doc/manual/types.txt @@ -716,7 +716,8 @@ untraced references are *unsafe*. However for certain low-level operations (accessing the hardware) untraced references are unavoidable. Traced references are declared with the **ref** keyword, untraced references -are declared with the **ptr** keyword. +are declared with the **ptr** keyword. In general, a `ptr T` is implicitly +convertible to the `pointer` type. An empty subscript ``[]`` notation can be used to derefer a reference, the ``addr`` procedure returns the address of an item. An address is always |