Merge pull request #4979 from singularperturbation/doc_ptr

(minor) Doc change for #3130
This commit is contained in:
Andreas Rumpf
2016-11-01 09:44:44 +01:00
committed by GitHub

View File

@@ -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