From 65d076a53780c06a252cfa1c359210279030fe43 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Mon, 15 Mar 2021 16:53:41 -0700 Subject: state that propspecs can't contain binding forms Signed-off-by: Sean Whitton --- doc/propspecs.rst | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/propspecs.rst') 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 -- cgit v1.2.3