[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: email@example.com
- Subject: (satisfies predicate-name)
- From: firstname.lastname@example.org
- Date: Fri, 28 Feb 86 16:18:48 EST
Apologies if this has been discussed before.
On page 43, discussing (satisfies predicate-name), CLtL says "A name is required;
lambda-expressions are disallowed in order to avoid scoping problems." Am I correct
in assuming that the global function definition is always to be used? For example,
I assume the following should not signal an error:
(defun f (x) t)
(labels ((f (x) nil))
(type-check nil (satisfies f)) )
Is that correct?
- Don Morrison