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

From: Stefan Monnier <[email-masked]>
Date: Sun, 10 Feb 2013 20:43:57 -0500

> 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, ...

        Stefan