I think that the reduction is good, but the #true appearing is bad. Right? Robby
On Thu, Oct 20, 2016 at 1:44 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > When teaching, I've personally found the reduction to #true confusing, > and something that I can't explain to my students. So I'd prefer that > it go away entirely, rather than happening more. > > Sam > > On Thu, Oct 20, 2016 at 2:35 PM, Vincent St-Amour > <stamo...@eecs.northwestern.edu> wrote: >> Reducing to something, rather than disappearing, does sound like a good >> idea to me. >> >> On the other hand, one may expect something that reduces to `#true` to >> print `#true` to the interactions window, which isn't what happens. >> >> Vincent >> >> >> >> On Thu, 20 Oct 2016 13:33:19 -0500, >> Racket Users wrote: >>> >>> 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. >> >> -- >> 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. > > -- > 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. -- 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.
