Woah, cool! Since the book was written, we have added support for binding specifications to Redex. It's documentation is still in the process of being improved, but you might have some interest in checking it out (it is the part after #:binding-forms).
Bugs in substitution functions are the worst. Robby On Wed, Jun 1, 2016 at 5:07 PM, <lfacc...@jhu.edu> wrote: > Thanks for adding the entry to the errata. > > It was fun finding the bug in my version: I forgot to /unfreeze/ (call) the > function that represents the branches of the `if' statement. I used > DrRacket's visual tools—the stepper, the tracer and the debugger—to figure > the issue. > > Not only that, but I used that find a nasty, nasty bug I introduced while > (mistakenly) copying the `subst' meta-function from the book. I was able to > go through 3 chapters before finding out that I wrote `X_3' in place of a > `X_2'. > > That was a hard one, it drove me crazy for an hour :) > > And, of course, DrRacket was indispensable! > > Best. > > -- > 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.
