fixed a bug in the way quote was handled

svn: r15308

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))

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)))
+  
   
   
 ;