Re: Quick pcase question

[Eric Abrahamsen]

Michael Heerdegen <michael_heerdegen@web.de> writes:

> Eric Abrahamsen <eric@ericabrahamsen.net> writes:
>
>> (pcase tst
>>   (`(symbolla . ,(and x (pred stringp)))
>>    (message "cdr is a string: %s" x)))
>>
>> Is the ",(and x (pred stringp))" part really the simplest way of doing
>> that?
>
> Yes, I think so.
>
> How could it be much simpler (there is not much redundancy in that
> expression)?

It's not so much the simplicity, I guess, as the intuitiveness -- "(and x"
looks like a test to me, not an assignment. My brain would prefer:

(,x (pred stringp))

But there's no reason to listen to my brain :)

Thanks,
Eric