From e781072bf325b1bd03bef4265c778d1fdcb5cb58 Mon Sep 17 00:00:00 2001 From: John Clements Date: Fri, 26 Aug 2011 11:07:10 -0700 Subject: [PATCH] eliminate quasiquote-the-cons-application tag --- collects/lang/private/teach.rkt | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/collects/lang/private/teach.rkt b/collects/lang/private/teach.rkt index 80e565c045..79e6e2da38 100644 --- a/collects/lang/private/teach.rkt +++ b/collects/lang/private/teach.rkt @@ -2145,9 +2145,7 @@ (with-syntax ([x (loop (syntax x) (sub1 depth))] [rest (loop (syntax rest) depth)] [uq-splicing (stx-car (stx-car stx))]) - (stepper-syntax-property (syntax/loc stx (the-cons/matchable (list (quote uq-splicing) x) rest)) - 'stepper-hint - 'quasiquote-the-cons-application)))] + (syntax/loc stx (the-cons/matchable (list (quote uq-splicing) x) rest))))] [intermediate-unquote-splicing (teach-syntax-error 'quasiquote @@ -2161,9 +2159,7 @@ [(a . b) (with-syntax ([a (loop (syntax a) depth)] [b (loop (syntax b) depth)]) - (stepper-syntax-property (syntax/loc stx (the-cons/matchable a b)) - 'stepper-hint - 'quasiquote-the-cons-application))] + (syntax/loc stx (the-cons/matchable a b)))] [any (syntax/loc stx (quote any))])))