Re: Code for cond*

[Richard Stallman]

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > I don't think so.  The primitive patterns were carefully chosen so it
  > shouldn't be needed.  E.g.:

  >     (pcase-defmacro constrain (symbol exp) `(and ,symbol (guard ,exp)))

You're talking about one of the two kinds of constrained variables --
the more compex and general kind.  The simple kind is (PREDICATE VAR
OTHER-ARGS).  I am pretty sure a simple macro facility can't handle
tha because it isn't identified by pne specific symbol at the start,

  >  should `(constrain x (null
  > (cdr x)))` be ignored if it appears within a `cdr-ignore`?).

It affects only the built-in patterns that destructure cons cells
and lists


-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)