aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorChristopher Schmidt2013-03-17 17:51:36 +0100
committerChristopher Schmidt2013-03-17 17:51:36 +0100
commit5784e31964a8c0c26ff47abc77575a333f0dd604 (patch)
tree16e4e7e21f942da3d0e6fbce221a03cd89acff96 /doc
parent69489f1dd666ed3a7cd01d621225d591b601e6a7 (diff)
downloademacs-5784e31964a8c0c26ff47abc77575a333f0dd604.tar.gz
emacs-5784e31964a8c0c26ff47abc77575a333f0dd604.zip
* symbols.texi (Standard Properties): Document pure. (Bug#13823)
Diffstat (limited to 'doc')
-rw-r--r--doc/lispref/ChangeLog4
-rw-r--r--doc/lispref/symbols.texi5
2 files changed, 7 insertions, 2 deletions
diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog
index 7455881518a..1435f24202d 100644
--- a/doc/lispref/ChangeLog
+++ b/doc/lispref/ChangeLog
@@ -1,3 +1,7 @@
12013-03-17 Christopher Schmidt <christopher@ch.ristopher.com>
2
3 * symbols.texi (Standard Properties): Document pure. (Bug#13823)
4
12013-03-16 Glenn Morris <rgm@gnu.org> 52013-03-16 Glenn Morris <rgm@gnu.org>
2 6
3 * elisp.texi: Add some stuff specific to www.gnu.org. 7 * elisp.texi: Add some stuff specific to www.gnu.org.
diff --git a/doc/lispref/symbols.texi b/doc/lispref/symbols.texi
index 9f916549902..82dfa0f4917 100644
--- a/doc/lispref/symbols.texi
+++ b/doc/lispref/symbols.texi
@@ -539,8 +539,9 @@ deleted from the local value of a hook variable when changing major
539modes. @xref{Setting Hooks}. 539modes. @xref{Setting Hooks}.
540 540
541@item pure 541@item pure
542This property is used internally to mark certain named functions for 542If the value is non-@code{nil}, the named function is considered to be
543byte compiler optimization. Do not set it. 543side-effect free. Calls with constant arguments can be evaluated at
544compile time. This may shift run time errors to compile time.
544 545
545@item risky-local-variable 546@item risky-local-variable
546If the value is non-@code{nil}, the named variable is considered risky 547If the value is non-@code{nil}, the named variable is considered risky