From 39be2ef9044cd9816a11fc8400cd8732a14de7e8 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Mon, 24 Jul 2017 12:01:40 -0400 Subject: [PATCH] fix #16 --- turnstile/turnstile.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/turnstile/turnstile.rkt b/turnstile/turnstile.rkt index 0bf91d1..781da99 100644 --- 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] ...)