From c40ba51a290d2e102f0c4d684b19baa15e4a2c47 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 9 Jun 2021 14:53:22 +0200 Subject: [PATCH] Oops! Omitted DBind case when extending index skeleton --- syndicate/skeleton.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/syndicate/skeleton.rkt b/syndicate/skeleton.rkt index 3df2f27..c44ca7c 100644 --- 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)))