Re: Question on pcase

[Oleh Krehel]

Michael Heerdegen <address@hidden> writes:

> I guess you might like something like this:
>
> (defun pcase-demystify-pattern (pattern)
>   (pcase--u
>    `((,(pcase--match '-tested-expression- (pcase--macroexpand pattern))
>       ,(lambda (vars) `(progn ,@(mapcar (lambda (b) `(-bind- ,(car b) ,(cdr 
> b)))
>                                    vars)))))))
>
> You need to quote the pattern because this is a function.
>
> (pcase-demystify-pattern '`(,_ . ,(and (pred functionp) f)))
>
>   ==>
>
>     (if
>         (consp -tested-expression-)
>         (let*
>             ((#1=#:x
>               (cdr -tested-expression-)))
>           (if
>               (functionp #1#)
>               (progn
>                 (-bind- f #1#))
>             nil))
>       nil)

Thanks Michael, that's almost exactly what I need. The only thing is
that I don't understand what `-bind-' is.