Original-Via: uk.ac.nsf; Thu, 30 Jan 92 00:30:12 GMT
Since no one has argued against making Real a subclass of Enum
and Integer a subclass of Ix (see my previous letter), I assume
that everyone agrees with me. ;-)
-- Mikael R.
P.S: Here are some errata in 1.2.beta, with suggested fixes.
Negative line numbers mean counting bottom-up.
Page Line Says Should be
iii 5,6 nothing "References149"
"Index.151"
(LaTeX refuses to include unnumbered
sections in the table of contents, but
you can put them in the .toc file
manually.)
ix-0 nothing " \item The precedence of prefix
minus has been made the
same as infix minus."
11 7 "(see Figure 5)" "(see Figure 5, page 53)"
12-6 "Because..." "Prefix negation has the same precedence
as the infix - operator defined in the
standard prelude (see Figure 5, page 53).
Because..."
14-1 "...if e3 is omitted, "...if e3 is omitted, the sequence is
the sequence includes infinite for types in the Real class
all (sic!) elements of ([maxInt..] == [maxInt,\bot,\bot,...])
the enumeration, and but ends when the elements run out
is thus infinite for for finite enumerations like Char."
infinite enumerations."
53 Fig. 5 add the entry: " 0 | infixr | $ "
56-4 "and should be large Delete the phrase.
enough to serve as It is redundant, since Ints are
array indices."required to cover [-2^29+1, 2^29-1],
and it is quite weak, since booleans
can be used as indices.
56 Fig. 7 Caption: "Numeric "Class inclusions between some
class inclusions"of the predefined classes"
(Eq, Ord, and Text are not numeric)
56 Fig. 7 strange choice Ix and Enum should also be included.
of classes (Real Enum Ord, and
Integral Ix Ord, if the
proposition to make Real a
subclass of Enum and Integral
a subclass of Ix passes the
class Czars.)
58 7 "(Num a, Ord a) = Real a" "(Num a, Enum a) = Real a"
89 -13- '' ---- ''
58 9 "(Real a) = Integral a""(Real a, Ix a) = Integral a"
89 -11- '' - - '' ---
(If this change is adopted, see above.)
6111" -13 `rem` 4" " (-13) `rem` 4"
6112" -13 `mod` 4" " (-13) `mod` 4"
(`rem` and `mod` bind tighter
than prefix negation)
64-3"assocs: " "assocs:: "
126 -13"abiguities""ambiguities"
126 -4"preface (page )." "preface (page ix)."
151ff index entries for add references to page 53 (the
! !! $ % * ** precedence table).
+ ++ - . / // /=
: :% :== ==
= ^ ^^ div elem mod
notElem rem
*) Sections 1.5 and B.4 on layout are almost but not quite identical.
Sec. 1.5 is not explicit on whether {- -} comments affect the indentation
of a line; sec. B.4 does not contain the module Astack example. The two
sections should at least refer to each other.
*) The curly braces are overloaded in the BNF notation:
{pattern} means zero or more repetitions,
pat means difference; pat except pat'.
{pat'}
This is quite confusing, especially in the ANYseq production:
ANYseq - {ANY}
{ANY} { {- | -} } {ANY}
where the outermost braces of the subscript expressions are omitted.
Suggestion: use angle brackets (\langle and \rangle) for difference.
-- Mikael R.