Subject: bug#13678: 24.2.93; pcase: mention list-like QPatterns in the doc

From: Michael Heerdegen <[email-masked]>
Date: Mon, 11 Feb 2013 14:37:48 +0100

Hi Stefan,

> > Sure, `(QPAT1 . QPAT2)' also matches lists - but `(QPAT1 . QPAT2)' and
> > `(QPat1 ...QPatn)' are different forms (expressions)
>
> Actually, no, they are identical:
>
>   (QPAT1 QPAT2 QPAT3) is indistinguishable from
>   (QPAT1 . (QPAT2 . (QPAT3 . nil)))
>
> the equivalence between the two is imposed by the reader, long before we
> know that these things will be "patterns in a pcase" rather than
> expressions, or data in a quoted thingy, ...

Simply right, thanks.  I wonder, however, if that's clear for every
user.  Nonetheless, there are enough examples in

  (elisp) Pattern matching case statement

that use the (QPAT1 QPAT2 QPAT3) syntax.  So, I'll close this, thanks.

Regards,

Michael.