redex: fix generate-term error messages

2013-05-04 22:03:27 -05:00 · 2013-05-04 22:03:27 -05:00 · 601640c3b1
commit 601640c3b1
parent b6e4bbdbc8
1 changed files with 2 additions and 1 deletions
--- 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 ...))