From 3240f20d90632491df9989577ae3f8a7f4d6e04c Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 21 Aug 2016 08:27:56 -0400 Subject: [PATCH] Allow ($ v) bindings --- racket/syndicate/pattern.rkt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/racket/syndicate/pattern.rkt b/racket/syndicate/pattern.rkt index baa7ae9..8a82bb3 100644 --- a/racket/syndicate/pattern.rkt +++ b/racket/syndicate/pattern.rkt @@ -120,6 +120,12 @@ (list #'v) #'v))] + [($ v) + (values #'(?!) + #'? + (list #'v) + #'v)] + [($ v p) (let () (define-values (pr g bs _ins) (walk #'p))