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

guide and reference: fix typos related to "evaluation context"

Browse Source
This commit is contained in:
Matthew Flatt 2012-12-02 08:00:55 -07:00
parent 3d38d84cc4
commit 545191fcec
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scribblings/guide/control.scrbl
View File

@ -180,7 +180,7 @@ section.
A @deftech{continuation} is a value that encapsulates a piece of an
expression context. The @racket[call-with-composable-continuation]
expression's evaluation context. The @racket[call-with-composable-continuation]
function captures the @deftech{current continuation} starting outside
the current function call and running up to the nearest enclosing
prompt. (Keep in mind that each @tech{REPL} interaction is implicitly

4
collects/scribblings/reference/eval-model.scrbl
View File

@ -62,8 +62,8 @@ Some simplifications require more than one step. For example:
An expression that is not a @tech{value} can always be partitioned
into two parts: a @deftech{redex}, which is the part that changed in a
single-step simplification (highlighted), and the
@deftech{continuation}, which is the surrounding expression
context. In @racket[(- 4 (+ 1 1))], the redex is @racket[(+ 1 1)], and
@deftech{continuation}, which is the evaluation
context surrounding an expression. In @racket[(- 4 (+ 1 1))], the redex is @racket[(+ 1 1)], and
the continuation is @racket[(- 4 @#,hole)], where @hole takes the
place of the redex. That is, the continuation says how to ``continue''
after the @tech{redex} is reduced to a @tech{value}.