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, 2016 at 12:23 PM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > 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 <sgt...@gmail.com> wrote: > >> 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 number) >> ((V U W) b X (λ X M)) >> (E hole (V E) (E M) (o V ... E M ...)) >> (X Y Z variable-not-otherwise-mentioned)) >> >> (define-metafunction iswim >> subst : any ... -> any) >> >> ;; iswim-standard >> ;; definition from pg 225 >> (define iswim-standard >> (reduction-relation >> iswim >> (v ((λ X M) V) (subst M X V) vω) >> (v (o b ...) (δ (o b ...)) δ) >> with >> [(--> (in-hole E M) (in-hole E N)) (v M N)])) >> >> >> Error message: "reduction-relation: shortcut name may not be a non-terminal >> in: M" >> >> Only posting this here since I couldn't find anything about it on the errata. >> >> Have a good day! >> >> Best, >> Andrew >> >> -- >> 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.
