From 57a0346a52339aa78aeb5bbb411d4cabd7eac253 Mon Sep 17 00:00:00 2001 From: Marius Gerbershagen Date: Sun, 28 Oct 2018 14:58:10 +0100 Subject: [PATCH] doc: document behaviour of declaim and proclaim --- src/doc/new-doc/standards/evaluation.txi | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/doc/new-doc/standards/evaluation.txi b/src/doc/new-doc/standards/evaluation.txi index 7933896ab..f243698de 100644 --- a/src/doc/new-doc/standards/evaluation.txi +++ b/src/doc/new-doc/standards/evaluation.txi @@ -107,6 +107,16 @@ instance, if you compile with a low value of @code{SAFETY}, and invoke @end multitable @end float +@subsection @code{declaim} and @code{proclaim} +Declarations established with @code{proclaim} stay in force +indefinitely. Declarations established with @code{declaim} in a file +do not persist after the file has been compiled. However, they are +established with @code{proclaim} at load time when the compiled file +is loaded. This means that when compiling two files, @code{declaim} +declarations in the first file will not be in force when compiling the +second file unless the first file was loaded before the second one was +compiled. + @subsection C Reference @cppindex ecl_process_env