I’m trying to clean up some code near where Mike Sperber discovered a stepper bug, and I accidentally made a change that I think actually improves the stepper.
Specifically, in the past, the step from, e.g., (check-expect 13 13) to #true was silently omitted. So, for instance, if you wrote this program: (check-expect 13 13) (check-expect (+ 4 5) 9) The first step would be from #true (check-expect (+ 4 5) 9) to #true (check-expect 9 9) … and there would be no other steps. Turning off reduction hiding around the application of the check-expect-checker-fun instead appears to yield a sequence of three steps: from (check-expect 13 13) (check-expect (+ 4 5) 9) to #true (check-expect (+ 4 5) 9) then the step that I mentioned before, then finally a step from #true (check-expect 9 9) to #true #true I regard this as an improvement, but please let me know if you disagree. Thanks! John -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
