fix lam-testing.rkt

2016-06-28 13:22:38 -04:00 · 2016-06-28 13:22:38 -04:00 · 644deddc5f
commit 644deddc5f
parent 358f997065
1 changed files with 1 additions and 1 deletions
--- a/macrotypes/examples/lam-testing.rkt
+++ b/macrotypes/examples/lam-testing.rkt
@ -8,7 +8,7 @@
  (syntax-parse stx
    [(_ (x y) e)
     #:with
-     (lam xs (lr bs1 vs1 (lr2 bs2 vs2 e+)))
+     (lam xs (lr vs1 (lr2 vs2 e+)))
     (local-expand
      #'(λ (x y)
          (let-syntax