@@ -194,11 +194,13 @@ CREATE LANGUAGE plsample
194194 <para>
195195 Validator functions should typically honor the <xref
196196 linkend="guc-check-function-bodies"> parameter: if it is turned off then
197- any expensive or context-sensitive checking should be skipped.
198- In particular, this parameter is turned off by <application>pg_dump</>
199- so that it can load procedural language functions without worrying
200- about possible dependencies of the function bodies on other database
201- objects. (Because of this requirement, the call handler should avoid
197+ any expensive or context-sensitive checking should be skipped. If the
198+ language provides for code execution at compilation time, the validator
199+ must suppress checks that would induce such execution. In particular,
200+ this parameter is turned off by <application>pg_dump</> so that it can
201+ load procedural language functions without worrying about side effects or
202+ dependencies of the function bodies on other database objects.
203+ (Because of this requirement, the call handler should avoid
202204 assuming that the validator has fully checked the function. The point
203205 of having a validator is not to let the call handler omit checks, but
204206 to notify the user immediately if there are obvious errors in a