From 7646ee635d75849153eb0319ea8f6abd6a89d172 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 11 Sep 2006 00:57:35 -0400 Subject: [PATCH] Show correctly marked results in stepper. --- collects/mzlib/private/match/simplify-patterns.ss | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/collects/mzlib/private/match/simplify-patterns.ss b/collects/mzlib/private/match/simplify-patterns.ss index 77bf3c8ef7..558e48f4aa 100644 --- a/collects/mzlib/private/match/simplify-patterns.ss +++ b/collects/mzlib/private/match/simplify-patterns.ss @@ -29,7 +29,7 @@ (define current-expand-observe (dynamic-require '#%expobs 'current-expand-observe)) - (define (observe-step pre post) + (define (observe-step pre mpre mpost post) (define (call-obs ev . args) (let ([obs (current-expand-observe)]) (if obs @@ -53,8 +53,8 @@ (call-obs 'local-pre pre) (call-obs 'visit pre) (call-obs 'macro-enter pre) - (call-obs 'macro-pre pre) - (call-obs 'macro-post post) + (call-obs 'macro-pre mpre) + (call-obs 'macro-post mpost) (call-obs 'macro-exit post) (call-obs 'visit post) (call-obs 'enter-prim post) @@ -101,9 +101,11 @@ "This expander only works with the match.ss library.")) (let* ([introducer (make-syntax-introducer)] [certifier (match-expander-certifier expander)] - [result (introducer (transformer (introducer stx)))] + [mstx (introducer stx)] + [mresult (transformer mstx)] + [result (introducer mresult)] [cert* (lambda (id) (certifier (cert id) #f introducer))]) - (observe-step stx result) + (observe-step stx mstx mresult result) (simplify result cert*)))] ;; label variable patterns