www

commit 39be2ef9044cd9816a11fc8400cd8732a14de7e8
parent 2d6ecae8c4a24a96d0d330868fa1ecb58a3b0673
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Mon, 24 Jul 2017 12:01:40 -0400

fix #16

Diffstat:
M
turnstile/turnstile.rkt
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/turnstile/turnstile.rkt b/turnstile/turnstile.rkt
@@ -325,7 +325,7 @@
                      sub-clause.pat ...
                      (~do [param tmp]))]
     [pattern (~seq #:modes ([param:id value:expr] ...) (sub-clause:clause ...))
-             #:with (tmp ...) (generate-temporary #'[param ...])
+             #:with (tmp ...) (generate-temporaries #'[param ...])
              #:with pat
              #'(~and (~do (define tmp [param]) ...
                           [param value] ...)