Parser bug with symbol patterns.

Author: dvanhorn

langs/mountebank/parse.rkt

@@ -68,7 +68,8 @@
     ['_           (PWild)]
     [(? symbol?)  (PVar p)]
     [(? string?)  (PStr p)]
-    [(list 'quote s) (PSymb s)]
+    [(list 'quote (? symbol? s))
+     (PSymb s)]
     [(list 'quote (list))
      (PLit '())]
     [(list 'box p)

langs/mountebank/test/test-runner.rkt

@@ -314,6 +314,10 @@
   (check-equal? (run '(match 'foo ['foo #t] [_ #f])) #t)
   (check-equal? (run '(match "foo" ["foo" #t] [_ #f])) #t)
   (check-equal? (run '(match "foo" ["bar" #t] [_ #f])) #f)
+  (check-equal? (run '(match (cons '+ (cons 1 (cons 2 '())))
+                        [(cons '+ (cons x (cons y '())))
+                         (+ x y)]))
+                3))
 
   ;; Mountebank examples  
   (check-equal? (run '#())

langs/mug/parse.rkt

@@ -72,7 +72,8 @@
     ['_           (PWild)]
     [(? symbol?)  (PVar p)]
     [(? string?)  (PStr p)]
-    [(list 'quote s) (PSymb s)]
+    [(list 'quote (? symbol? s))
+     (PSymb s)]
     [(list 'quote (list))
      (PLit '())]
     [(list 'box p)

langs/mug/test/test-runner.rkt

@@ -313,7 +313,11 @@
   (check-equal? (run '(match 'foo ['bar #t] [_ #f])) #f)
   (check-equal? (run '(match 'foo ['foo #t] [_ #f])) #t)
   (check-equal? (run '(match "foo" ["foo" #t] [_ #f])) #t)
-  (check-equal? (run '(match "foo" ["bar" #t] [_ #f])) #f))
+  (check-equal? (run '(match "foo" ["bar" #t] [_ #f])) #f)
+  (check-equal? (run '(match (cons '+ (cons 1 (cons 2 '())))
+                        [(cons '+ (cons x (cons y '())))
+                         (+ x y)]))
+                3))
 
 (define (test-runner-io run)
   ;; Evildoer examples