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

put an expression to evaluate to find the path instead of the path

Browse Source 
that was there when the html file was built.

closes PR 12545 (I do not agree with Eli's proposal for fixing this so I
did it differently)
This commit is contained in:
Robby Findler 2012-02-07 16:14:09 -06:00
parent 6633387827
commit 4bac243efe
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/redex/private/tut.scrbl
View File

@ -22,7 +22,6 @@
slideshow/pict slideshow/pict
racket/pretty)) racket/pretty))
@(interaction-eval #:eval amb-eval (begin (pretty-print-columns 40) (random-seed 0))) @(interaction-eval #:eval amb-eval (begin (pretty-print-columns 40) (random-seed 0)))
@(define-runtime-path tut-subst.rkt (list 'lib "tut-subst.rkt" "redex"))
@(define orig-op (current-output-port)) @(define orig-op (current-output-port))
@(define orig-ep (current-error-port)) @(define orig-ep (current-error-port))
@ -539,12 +538,14 @@ 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 here, if you'd like to have a look (with time; the source code is included with Redex, if you'd like to have a look;
test cases in the @filepath{test/tut-subst-test.rkt}, relative to evaluate the expression below in the REPL to find the precise path
the directory below): on your system (test cases are in @filepath{test/tut-subst-test.rkt},
relative to @filepath{tut-subst.rkt}):
@centered{@filepath{@(path->string tut-subst.rkt)}} @centered{@racket[(collection-file-path "tut-subst.rkt" "redex")]}
That file defines the function @racket[subst/proc] that expects four That file defines the function @racket[subst/proc] that expects four
arguments: a predicate for determining if an expression is a variable, arguments: a predicate for determining if an expression is a variable,
a list of variables to replace, a list of terms to replace them with, a list of variables to replace, a list of terms to replace them with,