From 2a9cdfc5ccff926f86bbffe931dc1567c061cb19 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 3 Jun 2021 23:23:48 +0200 Subject: [PATCH] !dump-registered-preserves-patterns! --- syndicate/pattern.rkt | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/syndicate/pattern.rkt b/syndicate/pattern.rkt index 62725f1..56a006a 100644 --- a/syndicate/pattern.rkt +++ b/syndicate/pattern.rkt @@ -13,6 +13,8 @@ pattern->capture-paths pattern->capture-names + !dump-registered-preserves-patterns! + (all-from-out "schemas/gen/dataspace-patterns.rkt")) (require (for-syntax racket/base)) @@ -314,3 +316,12 @@ (select-pattern-leaves desc (lambda (key-rev name-stx) (list name-stx)) (lambda (key-rev value) (list)))) + +(define-syntax (!dump-registered-preserves-patterns! stx) + (syntax-case stx () + [(_) + (let () + (local-require racket/pretty) + (for [(k (in-list (free-id-table-keys preserves-pattern-registry)))] + (printf " - ~v\n" k)) + #'(void))]))