From 0c0aa26e6f8916e8ca5968d9ce36f49a65e23290 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 10 May 2009 21:59:13 +0000 Subject: [PATCH] PR 10231 svn: r14769 --- collects/redex/private/reduction-semantics.ss | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss index a600805fa7..036285e1ca 100644 --- a/collects/redex/private/reduction-semantics.ss +++ b/collects/redex/private/reduction-semantics.ss @@ -192,12 +192,12 @@ (define-syntax (-reduction-relation stx) (syntax-case stx () [(_ lang args ...) - #'(do-reduction-relation reduction-relation empty-reduction-relation #f lang args ...)])) + (syntax/loc stx (do-reduction-relation reduction-relation empty-reduction-relation #f lang args ...))])) (define-syntax (extend-reduction-relation stx) (syntax-case stx () [(_ orig-reduction-relation lang args ...) - #'(do-reduction-relation extend-reduction-relation orig-reduction-relation #t lang args ...)])) + (syntax/loc stx (do-reduction-relation extend-reduction-relation orig-reduction-relation #t lang args ...))])) ;; the withs, freshs, and side-conditions come in backwards order (define-for-syntax (bind-withs orig-name main stx body) @@ -258,10 +258,9 @@ (syntax-e #'allow-zero-rules?) domain-pattern main-arrow))))] - [(_ id orig-reduction-relation lang args ...) + [(_ id orig-reduction-relation allow-zero-rules? lang args ...) (raise-syntax-error (syntax-e #'id) "expected an identifier for the language name" - stx #'lang)])) (define (parse-keywords stx id args)