Thanks Ben. Good to know. Hey Robbie, it's been a while. Hope everything is going well. Great book. :)
-mike On Jan 12, 2019 12:04, "Robby Findler" <ro...@eecs.northwestern.edu> wrote: Hi Mike! Thanks for pointing this out. I've updated the errata (Thanks, Ben for those links; I was having trouble finding the date of the change.) Robby On Sat, Jan 12, 2019 at 4:41 AM Mike MacHenry <mike.mache...@gmail.com> wrote: > > Hey everyone, > > I'm having an issue with one of the examples from Semantics Engineering With PLT Redex. Specifically in 12.3 on page 225, the definition for the iswim-standard reduction relation. As printed in the book, I get the error "reduction-relation: shortcut name may not be a non-terminal in: M". Following this advice I've changed the M and N on this line, both the binding and the reference, to A and B respectively. This seems to work just fine. Have I misunderstood something or found a typo? I checked the books errata and didn't see any mention of it in there. > > Thanks a bunch, > -mike > > -- > 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.
