matcher: quasiquote matching.

This allows

  (when-match ^(,a ,b) '(1 2) (list a b)) -> (1 2)

which is a nice alternative that is supported by some
Lisp pattern matchers. We don't need it since we have (@a @b).

The motivation is JSON matching.

  (when-match ^#J{"foo" : {"x" : ~val}}
               #J{"foo" : {"x" : "y"}} val)
  -> "y"

* share/txr/stdlib/match.tl (compile-match): Recognize qquote
case and handle via transform-qquote function.
(non-triv-pat-p): Let's declare quasiquotes to be nontrivial.
(transform-qquote): New function: transform quasi-quoted
syntax into regular pattern matching syntax.

* txr.1: Documented.

0 files changed, 0 insertions, 0 deletions