From 601640c3b1c20d42c4cd332ca78d3dcbdbd4e47b Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Sat, 4 May 2013 22:03:27 -0500 Subject: [PATCH] redex: fix generate-term error messages --- collects/redex/private/generate-term.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/redex/private/generate-term.rkt b/collects/redex/private/generate-term.rkt index f7959a3a36..4e072eaf5b 100644 --- a/collects/redex/private/generate-term.rkt +++ b/collects/redex/private/generate-term.rkt @@ -329,7 +329,8 @@ (when (keyword? k) (unless (member k '(#:satisfying #:source #:attempt-num #:retries #:i-th)) (raise-syntax-error 'generate-term "unknown keyword" stx x)))))) - (define form-name (syntax-e #'orig-name)) + (define form-name (with-syntax ([(_ orig-name . args) stx]) + (syntax-e #'orig-name))) (syntax-case stx () [(_ orig-name lang pat #:i-th . rest) (with-syntax ([(pattern (vars ...) (vars/ellipses ...))