[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "Like `let*' but ....."
|
From: |
Alan Mackenzie |
|
Subject: |
Re: "Like `let*' but ....." |
|
Date: |
Fri, 27 Jan 2017 20:33:17 +0000 |
|
User-agent: |
Mutt/1.7.2 (2016-11-26) |
Hello, Clément.
On Tue, Jan 24, 2017 at 16:26:55 -0500, Clément Pit-Claudel wrote:
> On 2017-01-24 16:12, Alan Mackenzie wrote:
> > What is not clear is precisely HOW `pcase' patterns are used for
> > bindings, and what the semantics of (PAT EXP) are.
> Hi Alan,
> I find that mentally translating (pcase-let* ((<x> <y>)) <z>) to
> (pcase <y> (<x> <z>)) helps. This translation is mostly correct, with
> the added twist that the former is undefined if <y> doesn't match <x>.
> Then everything is as in the pcase documentation. Hopefully this helps!
Yes, it does, I think. Thanks!
> Cheers,
> Clément.
--
Alan Mackenzie (Nuremberg, Germany).