5/20/96. p52: 4.6. Fourth line from end. Extra "the".
5/20/96. p56: 5.1.1. In last line of 6. strike extra `from'
5/20/96. p57: 5.1.2. Line 3: is in scope if it *is* named
5/20/96. p59: 5.2. Last line of 5.2 should read "the type checker *finds* the definition ..."
5/20/96. p66: Figure 5. Extra period in classes for Enum. `Types' in Eval should be `types'.
5/20/96. p77: 7. Strike the last sentence referring to "hidden implementation"
5/20/96. p80: 7.3. "an string" should be "a string".
5/20/96. p81: Appendix A. Code in this appendix is not typeset in a uniform manner. Consistant spacing and indentation is needed.
5/20/96. p81: Appendix A. Last line. Syntactically is misspelt as syntacticly.
5/20/96. p82: Appendix A. Add fixity of `:': infixr5 :, ++
5/20/96. p83: Appendix A. Add comment before decl for max, min as in 6.2.1.
5/20/96. p89: Appendix A. Fourth line. 265 should read 256
5/20/96. p89. Appendix A. Definition of map for Maybe should have map f (Just x) = Just (f x) (the first x was an a).
5/20/96. p92: Appendix A. Strike "Standard Value Bindings"
5/20/96. p92: Appendix A. Move these functions next to decl for the function type.
5/20/96. p105: Appendix A. Signature of print missing an `a ->'
5/20/96. p120: Appendix E, third to last line. Should read "that constructor *will* use this same syntax".
5/31/96. p102: Appendix A. Lex does not understand the new ISO chars in names. (this is really a problem in Char).
6/21/96. p88: Appendix A. Type of seq should be a -> b -> b
6/27/96. p88: Appendix A. either should be exported.
8/23/96. p19: x or y *is* evaluated