Skip to content

Commit cfbb32c

Browse files
committed
Fix up notes to use interp-stdin.
1 parent 98e8aa9 commit cfbb32c

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
lines changed

www/notes/abscond.scrbl

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -185,9 +185,9 @@ produces it's meaning:
185185
)
186186

187187
We can add a command line wrapper program for interpreting Abscond
188-
programs saved in files:
188+
programs from stdin:
189189

190-
@codeblock-include["abscond/interp-file.rkt"]
190+
@codeblock-include["abscond/interp-stdin.rkt"]
191191

192192
The details here aren't important (and you won't be asked to write
193193
this kind of code), but this program @racket[read]s the contents of a
@@ -196,7 +196,7 @@ well-formed Abscond program, then it runs the intepreter and displays
196196
the result.
197197

198198
For example, interpreting the program @tt{42.rkt} shown above:
199-
@shellbox["racket -t interp-file.rkt -m 42.rkt"]
199+
@shellbox["cat 42.rkt | racket -t interp-stdin.rkt -m"]
200200

201201
Even though the semantics is obvious, we can provide a formal
202202
definition of Abscond using @bold{operational semantics}.
@@ -475,7 +475,7 @@ adds up to much more efficient programs. Just to demonstrate, here's
475475
a single data point measuring the difference between interpreting and
476476
compiling Abscond programs:
477477

478-
@shellbox["time -p racket -t interp-file.rkt -m 42.rkt"]
478+
@shellbox["cat 42.rkt | time -p racket -t interp-stdin.rkt -m"]
479479

480480
Compiling:
481481

www/notes/iniquity.scrbl

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -113,9 +113,9 @@ is updated to include function applications.
113113

114114
Because of the change from a program being a single expression to a
115115
sequence, we have to update the utilities that read program files,
116-
i.e. @tt{interp-file.rkt} and @tt{compile-stdin.rkt}:
116+
i.e. @tt{interp-stdin.rkt} and @tt{compile-stdin.rkt}:
117117

118-
@codeblock-include["iniquity/interp-file.rkt"]
118+
@codeblock-include["iniquity/interp-stdin.rkt"]
119119
@codeblock-include["iniquity/compile-stdin.rkt"]
120120

121121

@@ -197,7 +197,7 @@ and @racket[odd?]:
197197

198198
And the utility for interpreting programs in files works as well:
199199

200-
@shellbox["racket -t interp-file.rkt -m example/len.rkt"]
200+
@shellbox["cat example/len.rkt | racket -t interp-stdin.rkt -m"]
201201

202202

203203
@section[#:tag-prefix "iniquity"]{Conventions of Calling}

0 commit comments

Comments
 (0)