From b0bd171f43802162c6978578e9c281d30b8a96c8 Mon Sep 17 00:00:00 2001 From: Nikodemus Siivola Date: Sat, 26 Apr 2008 15:25:39 +0300 Subject: [PATCH] document APPLY-NONDETERMINISTIC * Docstring from screamer.ps. --- screamer.lisp | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/screamer.lisp b/screamer.lisp index 1b4a9bc..16a940b 100644 --- a/screamer.lisp +++ b/screamer.lisp @@ -3298,6 +3298,20 @@ objects for function." (declare-nondeterministic 'apply-nondeterministic)) (cl:defun apply-nondeterministic (function argument &rest arguments) + "Analogous to the Common Lisp built-in function APPLY except that it +accepts both ordinary Common Lisp \(deterministic) function objects as +well as nondeterministic function objects for function. You must use +APPLY-NONDETERMINISTIC to apply a nondeterministic function object. A +runtime error will be signalled if you attempt to apply a +nondeterministic function object with APPLY. You can use +APPLY-NONDETERMINISTIC to apply either a deterministic or +nondeterministic function object though even if all of the arguments +to APPLY-NONDETERMINISTIC are deterministic and function is a +deterministic function object, the call expression will still be +nondeterministic \(with presumably a single value), since it is +impossible to determine at compile time that a given call to +APPLY-NONDETERMINISTIC will be passed only deterministic function +objects for function." (declare (ignore function argument arguments)) (screamer-error "APPLY-NONDETERMINISTIC is a nondeterministic function. As such, it must~%~ -- 2.11.4.GIT