Allow ($ v) bindings

2016-08-21 08:27:56 -04:00 · 2016-08-21 08:27:56 -04:00 · 3240f20d90
parent 4beb281a2d
commit 3240f20d90
1 changed files with 6 additions and 0 deletions
--- 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))