crook

Author: dvanhorn

knock-plus/parse.rkt

@@ -213,7 +213,7 @@
       ['_          (list ys xs gs (Var '_))]
       [(? symbol?) (list ys (cons p xs) gs (Var p))]
       [(list 'quote '())
-       (list ys xs (Lit '()))]
+       (list ys xs gs (Lit '()))]
       [(list 'box s)
        (match (rec s xs ys gs)
          [(list ys xs gs p)

knock-plus/test/parse.rkt

@@ -71,6 +71,8 @@
                 (p (Match (Lit 1) (list (Var 'x)) (list (Var 'x)))))
   (check-equal? (parse '(match 1 [x y]))
                 (p (Match (Lit 1) (list (Var 'x)) (list (Var 'y)))))
+  (check-equal? (parse '(match x ['() 1]))
+                (p (Match (Var 'x) (list (Lit '())) (list (Lit 1)))))
   (check-exn exn:fail? (λ () (parse-closed '(match 1 [x y])))))
 (begin ; Knock+
   (check-equal? (parse '(match 1 [(? f?) #t]))