Re: Quick pcase question

[Phillip Lord]

Eric Abrahamsen <eric@ericabrahamsen.net> writes:

> 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))

What about?

(guard (stringp ,x))

Phil