From 84fc11d93b724519c38d0eeaa31ebd02dbb0738a Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Sun, 14 Mar 2021 09:32:43 -0700 Subject: MAP-PROPSPEC-PROPAPPS: expand docstring Signed-off-by: Sean Whitton --- src/propspec.lisp | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'src/propspec.lisp') diff --git a/src/propspec.lisp b/src/propspec.lisp index e79781b..7072133 100644 --- a/src/propspec.lisp +++ b/src/propspec.lisp @@ -23,8 +23,13 @@ (defun map-propspec-propapps (function propspec &optional env) "Map FUNCTION over each propapp occurring in PROPSPEC after macroexpansion. -FUNCTION designates a pure function from propapps to propapps. PROPSPEC is a -property application specification expression." +FUNCTION designates a (ideally pure) function from propapps to propapps. +PROPSPEC is a property application specification expression. + +Note that a limitation of this particular implementation is that any further +propapps within the cdr of the propapp received by FUNCTION will have had +their cars temporarily replaced by uninterned symbols. But using a property +for its return value in this way would not be sensible." ;; The work of this function cannot be implemented fully portably. See ;; ;; Michael Raskin. 2017. Writing a best-effort portable code walker in -- cgit v1.2.3