Re: [racket-users] SEwPR PLT Redex code error? (pg 225)

My fault! On Feb 23, 2016, at 1:27 PM, Sam Caldwell wrote: > I am pretty sure it is a result of this change: > > https://groups.google.com/d/topic/racket-users/blV3EEkJxVk/discussion > > On Tue, Feb 23, 2016 at 1:23 PM, Matthias Felleisen > wrote:

Re: [racket-users] SEwPR PLT Redex code error? (pg 225)

I am pretty sure it is a result of this change: https://groups.google.com/d/topic/racket-users/blV3EEkJxVk/discussion On Tue, Feb 23, 2016 at 1:23 PM, Matthias Felleisen wrote: > > This is must be a regression. The build-process for the second part > includes running the

Re: [racket-users] SEwPR PLT Redex code error? (pg 225)

This is a backwards incompatibility that we discussed on this very mailing list, actually. The syntax error message I believe pinpoints the change that needs to be made to the model -- simply renaming the variables M and N should do the trick. Sorry for the inconvenience. Robby On Tue, Feb 23,

Re: [racket-users] SEwPR PLT Redex code error? (pg 225)

This is must be a regression. The build-process for the second part includes running the figures (and their tests). On Feb 23, 2016, at 1:09 PM, Andrew Kent wrote: > A student today pointed out the standard reduction definition for ISWIM on pg > 225 in SEwPR is broken: >

[racket-users] SEwPR PLT Redex code error? (pg 225)

A student today pointed out the standard reduction definition for ISWIM on pg 225 in SEwPR is broken: #lang racket (require redex) ;; iswim ;; definition from pg 217 (define-language iswim ((M N L K) X (λ X M) (M M) b (o2 M M) (o1 M)) (o o1 o2) (o1 add1 sub1 iszero) (o2 + - *) (b