aboutsummaryrefslogtreecommitdiff
path: root/src/propspec.lisp
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2021-03-14 09:32:43 -0700
committerSean Whitton <spwhitton@spwhitton.name>2021-03-15 17:18:39 -0700
commit84fc11d93b724519c38d0eeaa31ebd02dbb0738a (patch)
tree05e7d0632816afc4bd0381f10de1d03b20058ce5 /src/propspec.lisp
parent82cd7394a3d49fdaea52618430096ec3384864a1 (diff)
downloadconsfigurator-84fc11d93b724519c38d0eeaa31ebd02dbb0738a.tar.gz
MAP-PROPSPEC-PROPAPPS: expand docstring
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'src/propspec.lisp')
-rw-r--r--src/propspec.lisp9
1 files changed, 7 insertions, 2 deletions
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