Oops! Omitted DBind case when extending index skeleton

2021-06-09 14:53:22 +02:00 · 2021-06-09 14:53:22 +02:00 · c40ba51a29
parent d0fb1cfa99
commit c40ba51a29
1 changed files with 2 additions and 0 deletions
--- a/syndicate/skeleton.rkt
+++ b/syndicate/skeleton.rkt
@ -195,6 +195,8 @@
                               [((key subpat) (in-hash members))]
                       (walk-node! (cons key rev-path) sk pop-count key subpat))))
         (values (+ pop-count 1) sk))]
+      [(Pattern-DBind (DBind _ pat))
+       (walk-node! rev-path sk pop-count key pat)]
      [_
       (values pop-count sk)]))
  (let-values (((_pop-count sk) (walk-node! '() sk 0 0 pat)))