crook

Author: dvanhorn

iniquity/parse.rkt

@@ -138,7 +138,7 @@
                 (list ys (cons g gs) (App g es))])])])]
       [(list-rest (? symbol? g) sr)
        (match (parse-es/acc sr fs xs ys gs)
-         [(list ys s es)
+         [(list ys gs es)
           (list ys (if (memq g fs) gs (cons g gs)) (App g es))])]
       [_
        (error "parse error" s)]))

iniquity/test/parse.rkt

@@ -68,5 +68,7 @@
                       (App 'define (list (Lit 1)))))
   (check-exn exn:fail? (λ () (parse '(define (define x) x)
                                     '(define (g x) x)
-                                    '(define (g 1))))))
+                                    '(define (g 1)))))
+  (check-exn exn:fail? (λ () (parse-closed '(define (f x) 0)
+                                           '(f (g))))))
 

jig/parse.rkt

@@ -139,7 +139,7 @@
                 (list ys (cons g gs) (App g es))])])])]
       [(list-rest (? symbol? g) sr)
        (match (parse-es/acc sr fs xs ys gs)
-         [(list ys s es)
+         [(list ys gs es)
           (list ys (if (memq g fs) gs (cons g gs)) (App g es))])]
       [_
        (error "parse error" s)]))

knock/parse.rkt

@@ -154,7 +154,7 @@
                 (list ys (cons g gs) (App g es))])])])]
       [(list-rest (? symbol? g) sr)
        (match (parse-es/acc sr fs xs ys gs)
-         [(list ys s es)
+         [(list ys gs es)
           (list ys (if (memq g fs) gs (cons g gs)) (App g es))])]
       [_
        (error "parse error" s)]))