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] ...)