summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorsingularperturbation <sloanes.k@gmail.com>2016-10-31 21:39:17 -0500
committersingularperturbation <sloanes.k@gmail.com>2016-10-31 22:38:17 -0500
commit456b3d32314f36555fecd65f93cf75ba93abddf2 (patch)
tree7c727c792a5e5a2606236c4077c1c2cb2e639a19
parentd183e4034cc53a01521d283f562c6011b3cb3433 (diff)
downloadNim-456b3d32314f36555fecd65f93cf75ba93abddf2.tar.gz
(minor) Doc change for #3130
-rw-r--r--doc/manual/types.txt3
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