Re: [PATCH] pcase.el: Add type pattern

[Michael Heerdegen]

Adam Porter <address@hidden> writes:

> +;;; Pcase type pattern.
> +
> +(pcase-defmacro type (type)
> +  "Pcase pattern that matches objects of TYPE."
> +  `(pred (pcase--flip cl-typep ',type)))

If we keep these semantics and the patch is accepted, you should
document here what TYPE means.  IIUC any type expression allowed by
`cl-typep' will be possible, right?  Then just say something like "TYPE
is a type name like in `cl-typep'" or so.

Thanks,

Michael.