From 05005713831e4cb95ed7673c4c5063d84d42da1b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 19 May 2009 20:58:46 +0000 Subject: [PATCH] PR 10244 svn: r14874 --- collects/redex/private/reduction-semantics.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss index 036285e1ca..90385eb9c0 100644 --- a/collects/redex/private/reduction-semantics.ss +++ b/collects/redex/private/reduction-semantics.ss @@ -1359,7 +1359,7 @@ [(_ name (names rhs ...) ...) (identifier? (syntax name)) (begin - (check-rhss-not-empty stx (cddr (syntax-e stx))) + (check-rhss-not-empty stx (cddr (syntax->list stx))) (with-syntax ([((nt-names orig) ...) (pull-out-names 'define-language stx #'(names ...))]) (with-syntax ([(subst-names ...) (generate-temporaries (syntax->list #'(nt-names ...)))]) (syntax/loc stx @@ -1511,7 +1511,7 @@ (raise-syntax-error 'define-extended-langauge "expected an identifier" stx #'name)) (unless (identifier? (syntax orig-lang)) (raise-syntax-error 'define-extended-langauge "expected an identifier" stx #'orig-lang)) - (check-rhss-not-empty stx (cdddr (syntax-e stx))) + (check-rhss-not-empty stx (cdddr (syntax->list stx))) (let ([old-names (language-id-nts #'orig-lang 'define-extended-language)]) (with-syntax ([((new-nt-names orig) ...) (append (pull-out-names 'define-language stx #'(names ...)) (map (λ (x) #`(#,x #f)) old-names))])