From d60073bace57dbc13e295f40d39d73092844c08c Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Mon, 5 Apr 2021 10:43:19 -0700 Subject: the empty list is now a valid propapp Signed-off-by: Sean Whitton --- doc/propspecs.rst | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'doc') diff --git a/doc/propspecs.rst b/doc/propspecs.rst index b3d4d39..8d915b5 100644 --- a/doc/propspecs.rst +++ b/doc/propspecs.rst @@ -26,12 +26,13 @@ Definitions An *atomic property application* ("propapp") is a list satisfying the lambda list ``(PROPERTY &rest ARGS)`` where ``PROPERTY`` is a symbol naming a -property and ``ARGS`` satisfies that property's lambda list. A *property -combinator* is a function which takes at least one propapp as one of its -arguments and returns a single propapp, or a macro which takes at least -propapp as one of its arguments and returns an expression which yields a -single propapp (in the return values of property combinators, often -``PROPERTY`` will be a gensym). A *property application specification* is +property and ``ARGS`` satisfies that property's lambda list, or the empty +list, which means a no-op property. A *property combinator* is a function +which takes at least one propapp as one of its arguments and returns a single +propapp, or a macro which takes at least propapp as one of its arguments and +returns an expression which yields a single propapp (in the return values of +property combinators, often ``PROPERTY`` will be a gensym). A *property +application specification* is i. a readably printable Lisp expression, **P**, known as a *property application specification expression*, which contains -- cgit v1.2.3