matcher: fix semantics of empty @(all ...) match.

* lisplib.c (match_set_entries): Ensure usr:all* is interned.

* share/txr/stdlib/match.tl (compile-all-match): When the
operator is the existing all, we must listp as a guard, not
consp, because an empty list must match vacuously by virtue of
not containing any counterexample to the pattern. For
situations when a vacuous empty match is not desired, we
support the all* alternative operator, which uses consp.
(compile-match): Wire in the all* operator.

0 files changed, 0 insertions, 0 deletions