End of first display:
Add )))
to close up (markleaveswithreddepth ...
)))
to close up (numberleaves ...
newpair
==> makepair
(set! val (* savedn val))
(set! val (* savedn val))
aprogram
==> cpsaprogram
constexp
==> cpsconstexp
varexp ==> cpsvarexp

Page: 209:
The contract should be
applyprocedure/k
: Proc * ExpVal * Cont > ExpVal.
Also, cps
should precede letexp
, letrecexp
,
ifexp
, and callexp
.

Page: 216:
Line 10: (line 4 of the second display):
The last paren should be preceded by >>
,
leading to exp_n>> K) >>)
Lines 9 and 14 of the final display:
The two closing parentheses should
each be preceded by >>
leading to >>) >>)

Page 217:
Line 7 of last display:
There is an unmatched set of <<
's and >>
's.
Need to move the >>
to the next term following an equal sign
and have it follow the K
.

Page 219:
The type and name say it is for cpsofdiffexp
, but
the code is for cpsofsumexp
. So, we need the type:
cpsofsumexp : Listof (InpExp) * SimpleExp > TfExp

Page 223:
The type is missing the type of the letrecbody
.
It is, of course, just InpExp
. Here is what the type should say.
;; cpsofletrecexp :
Listof(Listof(Var)) * Listof(InpExp) * InpExp * SimpleExp > TfExp

Page 230:
Line 4:
applyprocedure
==> applyprocedure/k

Page 231:
Line 2:
applyprocedure
==> applyprocedure/k

Page 236:
Line 14:
boolean ==> integer

Page 265:
Section 7.4.3:
optype
==> otype

Page 378: Line 2:
Delete ", and"
Last modified: Sun Jan 12 22:38:08 Eastern Standard Time 2014