aboutsummaryrefslogtreecommitdiff
path: root/doc/propspecs.rst
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2021-03-15 16:53:41 -0700
committerSean Whitton <spwhitton@spwhitton.name>2021-03-15 17:18:39 -0700
commit65d076a53780c06a252cfa1c359210279030fe43 (patch)
treefa5f67a6eb0267a8eb22bfd46398e37fd5021936 /doc/propspecs.rst
parent3492386006768c4e05cfcd7cf3bcdfa55ae64db0 (diff)
downloadconsfigurator-65d076a53780c06a252cfa1c359210279030fe43.tar.gz
state that propspecs can't contain binding forms
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'doc/propspecs.rst')
-rw-r--r--doc/propspecs.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/propspecs.rst b/doc/propspecs.rst
index fd34c14..968b14f 100644
--- a/doc/propspecs.rst
+++ b/doc/propspecs.rst
@@ -54,6 +54,8 @@ iv. when each of **S** are loaded, calling ``PROPERTY`` with ``ARGS`` will
apply each of the propapps occurring in **P** in accordance with the
combinators occuring in **P**.
+A property application specification should not contain any binding forms.
+
We do not always cleanly distinguish between property application
specifications and property application specification expressions, and the
abbreviation "propspec" refers to both. It is usually clear from the context