Re: [racket-users] Getting errors running PLT-Redex book example

2019-01-12 Thread Mike MacHenry
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" 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 ch

Re: [racket-users] Getting errors running PLT-Redex book example

2019-01-12 Thread Robby Findler
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 wrote: > > Hey everyone, > > I'm having an issue with one of the examples from Semantics Engineer

Re: [racket-users] Getting errors running PLT-Redex book example

2019-01-12 Thread Ben Greenman
You discovered a backwards incompatible change to Redex. Changing M and N to A and B is a good fix. (The errata really should talk about this.) Here are two related threads: https://groups.google.com/d/msg/racket-users/be54SG881GU/bndA4eiGAQAJ https://groups.google.com/d/msg/racket-users/NMuBaVlcD