[racket-dev] internal definitions & stepper

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Oct 19 08:13:32 EDT 2010

How recently did the change come in that allows internal definitions
all over the place? And how broken did this make the stepper?

(Ie is it feasible to wait for the next release? and should we?)

Robby

On Tue, Oct 19, 2010 at 5:03 AM,  <sperber at racket-lang.org> wrote:
> sperber has updated `master' from ddca8cd29b to fd5e9d4d63.
>  http://git.racket-lang.org/plt/ddca8cd29b..fd5e9d4d63
>
> =====[ 1 Commits ]======================================================
>
> Directory summary:
>  100.0% collects/test-engine/
>
> ~~~~~~~~~~
>
> fd5e9d4 Mike Sperber <sperber at deinprogramm.de> 2010-10-19 11:56:24 +0200
> :
> | Unbreak the stepper on `check-expect'.
> |
> | All kinds of things expand into (let () ...), so all kinds of things
> | break.
> :
>  M collects/test-engine/racket-tests.rkt |    2 +-
>
> =====[ Overall Diff ]===================================================
>
> collects/test-engine/racket-tests.rkt
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> --- OLD/collects/test-engine/racket-tests.rkt
> +++ NEW/collects/test-engine/racket-tests.rkt
> @@ -106,7 +106,7 @@
>                                            #'test-engine))))))))
>              'stepper-skipto
>              (append skipto/third ;; let
> -                     skipto/third skipto/second ;; unless (it expands into a begin)
> +                     skipto/third skipto/third ;; unless (it expands into (if (let-values () ...))
>                      skipto/cdr skipto/third ;; application of insert-test
>                      '(syntax-e cdr cdr syntax-e car) ;; lambda
>                      )))
>


Posted on the dev mailing list.