From a8ae46ba3421b0294f030d50362a74af59c125ec Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 14 Mar 2008 00:37:19 +0000 Subject: [PATCH] workaround limitation in syntax system related to nested marks svn: r8969 --- collects/mzlib/private/match/simplify-patterns.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mzlib/private/match/simplify-patterns.ss b/collects/mzlib/private/match/simplify-patterns.ss index 67bb885df5..82bd11a71f 100644 --- a/collects/mzlib/private/match/simplify-patterns.ss +++ b/collects/mzlib/private/match/simplify-patterns.ss @@ -66,9 +66,9 @@ "This expander only works with the match.ss library.")) (let* ([introducer (make-syntax-introducer)] [certifier (match-expander-certifier expander)] - [mstx (introducer stx)] + [mstx (introducer (syntax-local-introduce stx))] [mresult (transformer mstx)] - [result (introducer mresult)] + [result (syntax-local-introduce (introducer mresult))] [cert* (lambda (id) (certifier (cert id) #f introducer))]) (observe-step stx mstx mresult result) (simplify result cert*)))]