ERRATA IN "ML for the Working Programmer", 2nd printing
[see also ERRATA3.txt]

** Chapter 2 **

20, line 11 (Ray Toal): Change _ to - in the "identifier" :_|==>->#
20, line 14 (Ray Toal): Remove _ from the list of reserved symbolic names.
The underscore is not one of the "symbols", or "special characters" from
which symbolic identifiers can be composed (DEFINITION, sec. 2.4).

37, line -6 (Toby Nipkow): change (adding and removing a round bracket)
$$\eqalign{zero(sqr(sqr(sqr2)))) & \red zero(sqr(sqr(2\times2))))\cr
to
$$\eqalign{zero(sqr(sqr(sqr(2)))) & \red zero(sqr(sqr(2\times2)))\cr

** Chapter 4 **

123, line 7 (Reuben Thomas): [exercise 4.18] "nodes" to "node".

125, line -3: "balinorder" to "balpreorder"

** Chapter 5 **

147, exercise 5.1: Change "\${cons} \${x} \${y}" to "\${cons} (\${x},\${y})"

156, exercise 5.11: change "sections and composition" to "$I$, sections and
composition".

171, line 15 (Phil Brabbin): change "(randseq 1.0)" to "(randseq 1)"

176, line 17: "of a countable set" should be "of two countable sets"

185, line 1: "depthiterative" should be "depthiter"

** Chapter 6 **

212.  Guy Cousineau has found a simple proof by structural induction!

215, Exercise 6.23, line 2 (Tobias Nipkow): delete "d" before the equals sign

** Chapter 7 **

239, line 4 (Ray Toal) Superfluous right square brackets.

** Chapter 9 **

317 (Ray Toal) Insert two spaces before "end"

318, line 14 and 15 (Ray Toal).  "if pred kx =" should be "if pred x ="

348, line -3 and 349, line 11 (Ray Toal): the "1" should be underlined.

** Chapter 10 **

388, line 2 (Ray Toal): change "become" to "becomes"

** Syntax Charts **

412 (Ray Toal)
Syntax Chart entry for Structure, first line:
          ObjectDeclaration in slanted chars instead of italics;

Syntax Chart entry for Signature, first line:
          Specification in slanted chars instead of italics.


