gistfile1.txt

this is regarding this expander:
https://github.com/disconcision/containment-patterns
which I am trying to improve

simple containment patterns (finds first instance of internal pattern):

(match '(1 (5 ($ 3 6)) 7)
    [(⋱ c `($ ,x ,y))
     (⋱ c `($, (+ x y)))])
> '(1 (5 ($ 9)) 7)

multi-hit patterns (my current syntax):

(match '(1 (5 ($ 3 6)) 7 ($ 5 9))
    [(⋱+ c `($ ,x ,y))
     (⋱+ c [x y] `($, (+ x y)))])
> '(1 (5 ($ 9)) 7 ($ 14))

but I just want to write:

(match '(1 (5 ($ 3 6)) 7 ($ 5 9))
    [(⋱+ c `($ ,x ,y))
     (⋱+ c `($, (+ x y)))])

the way i am currently thinking of doing this is capturing the identifiers bound in the internal pattern (in above example, [x y]), and then communicating them to the template. i can do the former but not the latter.