diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2021-03-15 17:52:24 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2021-03-15 17:52:24 -0700 |
commit | 430da99796663587de2ade6c4d7afe1a7e5a0f1a (patch) | |
tree | a5ec6fd7e6bb84cb307bd8841d2bca5683283858 /doc/propspecs.rst | |
parent | fcfe7db341736da20dd3eac33b58c53a659893b6 (diff) | |
download | consfigurator-430da99796663587de2ade6c4d7afe1a7e5a0f1a.tar.gz |
binding forms in macros are okay
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'doc/propspecs.rst')
-rw-r--r-- | doc/propspecs.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/propspecs.rst b/doc/propspecs.rst index 968b14f..d2454a1 100644 --- a/doc/propspecs.rst +++ b/doc/propspecs.rst @@ -54,7 +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. +A property application specification should not contain any binding forms +except as will be eliminated after macroexpansion. We do not always cleanly distinguish between property application specifications and property application specification expressions, and the |