Stefan Monnier writes:

> You just need to write a pcase-macro which turns (seq ...) patterns into
> other (more primitive) pcase patterns.  E.g. it could turn (seq a b)
> into a pattern like (and (pred seq-p) (app (elt 0) a) (app (elt 1)
> b)).

Thank you, I'll try to add this soon enough.

Nico
-- 
Nicolas Petton
http://nicolas-petton.fr