From 9bc38dd1c1725b73ec3bdf8a1f84db72c909913c Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Tue, 20 Oct 2009 21:32:33 +0000 Subject: [PATCH] macro-debugger: PR 10527: fixed "out of lifts" too-strict sanity check svn: r16391 original commit: 1ba5bd64872b8fce3db91a11418d0d2a1c04545a --- collects/macro-debugger/model/reductions.ss | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/macro-debugger/model/reductions.ss b/collects/macro-debugger/model/reductions.ss index c0b3964..340940b 100644 --- a/collects/macro-debugger/model/reductions.ss +++ b/collects/macro-debugger/model/reductions.ss @@ -300,8 +300,6 @@ (visible-lift-stxs null)) [#:pass1] [Expr ?form first] - [#:do (when (pair? (available-lift-stxs)) - (lift-error 'lift/let-deriv "available lifts left over"))] [#:let visible-lifts (visible-lift-stxs)] [#:with-visible-form [#:left-foot] @@ -381,9 +379,6 @@ [#:rename/unmark ?form e1 me1] [#:pass1] [Expr ?form inner] - [#:do (when (pair? (available-lift-stxs)) - (lift-error 'local-expand/capture-lifts - "available lifts left over"))] [#:let visible-lifts (visible-lift-stxs)] [#:with-visible-form [#:left-foot] @@ -608,8 +603,14 @@ (define (take-lift!) (define avail (available-lift-stxs)) (cond [(list? avail) + #| + ;; This check is wrong! (and thus disabled) + ;; If a syntax error occurs between the time a lift is "thrown" + ;; and when it is "caught", no lifts will be available to take. + ;; But that's not a bug, so don't complain. (unless (pair? avail) (lift-error 'local-lift "out of lifts (begin)!")) + |# (when (pair? avail) (let ([lift-stx (car avail)]) (available-lift-stxs (cdr avail))