() Stefan Monnier <monnier@iro.umontreal.ca>
() Tue, 15 May 2018 14:29:33 -0400

   > Now that the result of `pcase--make-docstring' grows longer
   > and longer, maybe the naive `mapatoms' is not so nice
   > anyway, it could need some better order/ some structure.

   Agreed.

Please see commit 4cf4faa888.  Works for me (light testing).

I retained ‘mapatoms’, but split the processing into two phases,
separated by a "yank backquote to head".  What could be better
than ‘mapatoms’, i wonder?

-- 
Thien-Thi Nguyen -----------------------------------------------
 (defun responsep (query)
   (pcase (context query)
     (`(technical ,ml) (correctp ml))
     ...))                              748E A0E8 1CB8 A748 9BFA
--------------------------------------- 6CE4 6703 2224 4C80 7502