From 456b3d32314f36555fecd65f93cf75ba93abddf2 Mon Sep 17 00:00:00 2001 From: singularperturbation Date: Mon, 31 Oct 2016 21:39:17 -0500 Subject: (minor) Doc change for #3130 --- doc/manual/types.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit 1.4.1-2-gfad0