suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix bug in inline code

Browse Source 
merge to the release branch, please
(cherry picked from commit 519b69362f)
This commit is contained in:
Robby Findler 2012-07-22 11:37:48 -05:00 committed by Ryan Culpepper
parent cc998b9fe1
commit 02c6dbb3b1
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/redex/scribblings/tut.scrbl
View File

@ -603,7 +603,7 @@ To define a reduction relation, we also have to define substitution.
Generally speaking, substitution functions are tricky to get right Generally speaking, substitution functions are tricky to get right
and, since they generally are not shown in papers, we have defined and, since they generally are not shown in papers, we have defined
a workhorse substitution function in Racket that runs in near linear a workhorse substitution function in Racket that runs in near linear
time. The source code is included with Redex, if you'd like to have a look; time. The source code is included with Redex. If you'd like to have a look,
evaluate the expression below in the REPL to find the precise path evaluate the expression below in the REPL to find the precise path
on your system: on your system:
@ -847,8 +847,8 @@ shape. Use this definition of @racket[subst].
subst : (x v) ... e -> e subst : (x v) ... e -> e
[(subst (x v) ... e) [(subst (x v) ... e)
,(subst/proc x? ,(subst/proc x?
(list (term (x ...))) (term (x ...))
(list (term (v ...))) (term (v ...))
(term e))])] (term e))])]
Also, adjust the typing rules (and do not forget that an ellipsis can be named, Also, adjust the typing rules (and do not forget that an ellipsis can be named,