From d007777e2aa513a7cf0dc64e663d9623f3e3a716 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 26 Jun 2009 19:22:03 +0000 Subject: [PATCH] fixed a bug in the way quote was handled svn: r15308 --- collects/redex/private/reduction-semantics.ss | 5 +---- collects/redex/private/tl-test.ss | 8 ++++++++ 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss index eaaf1a49d9..6dd9435583 100644 --- a/collects/redex/private/reduction-semantics.ss +++ b/collects/redex/private/reduction-semantics.ss @@ -25,10 +25,7 @@ (datum->syntax (identifier-prune-lexical-context #'whatever '(#%app #%datum)) (let loop ([stx stx]) - (syntax-case stx (quote) - [(quote x) - (list (quote-syntax/prune quote) - (syntax->datum #'x))] + (syntax-case stx () [(a . b) (datum->syntax (identifier-prune-lexical-context #'whatever '(#%app)) (cons (loop #'a) (loop #'b)) diff --git a/collects/redex/private/tl-test.ss b/collects/redex/private/tl-test.ss index 9c06ea1811..f03ef20d4c 100644 --- a/collects/redex/private/tl-test.ss +++ b/collects/redex/private/tl-test.ss @@ -639,6 +639,14 @@ (test (term (f 1 1 1 1 1)) (term 1))) + (let () + (define-metafunction empty-language + [(ex variable_x) + variable_x + (where quote variable_x)]) + + (test (term (ex quote)) (term quote))) + ;