On Tue, Jun 29, 2010 at 04:01:54PM +0100, Simon Marlow wrote:
The second draft of the Haskell 2010 report is now available in PDF and HTML formats (the PDF looks a lot nicer):
http://www.haskell.org/~simonmar/haskell-2010-draft-report-2.pdf http://www.haskell.org/~simonmar/haskell-2010-draft-report-2/haskell.html
Great work! I noticed a few things as I skimmed through it: p12(x) "It too is intended to be a" -> "It too was intended to be a" p40(24) In "local bindings are of the form let decls." there is a lot more white space between "let" and "decls" than there is in the BNF on the previous page p60(44) There are some odd-looking spaces before closing parentheses in the first paragraph. p62(46) "Ix" -> "Data.Ix" (3 times) p79(63) "Maybe" -> "Data.Maybe" p82(66) "List" -> "Data.List" p121(105) "Char, Monad, IO, and Numeric" -> "Data.Char, Control.Monad, System.IO and Numeric" p121(105) "List" -> "Data.List" p122(106) "Ratio" -> "Data.Ratio" p133(117) "Char" -> "Data.Char" p139(123) "Char" -> "Data.Char" p171(155) "module provide the" -> "module provides the" p171(155) This is a bit klunky, talking about Control.Monad providing things that are actually defined in the Prelude. The "The instances of Functor [...] defined in the Prelude" is odd if you don't realise that. p172(156) Do you mean to have these instances?: instance Functor ReadP instance Monad P instance Monad ReadP p173(157) I don't think the report should refer to the mtl package. p173(157) Do you mean to have these instances?: instance MonadPlus P instance MonadPlus ReadP p175(159) Odd space after "xm" in "[x1, x2, ..., xm ]" p177(161) The "module Data.Ix" looks confusing; I assume it's being listed as an export? The paragraph above it doesn't look associated with it. p178(162) Talks about the difference between H98 and GHC p178(162) "nonstrict" -> "non-strict" p179(163) Is strictness of the accumulating function actually relevant? p179(163) Talks about the difference between H98 and GHC p180(164) "module Array" -> "module Data.Array" "module Ix" -> "module Data.Ix" "import Ix" -> "import Data.Ix" "import List" -> "import Data.List" Something has gone wrong with 2 of the error calls. p186(170) Do you mean to have these instances?: instance Bits WordPtr instance Bits IntPtr p193(177) Do you mean to have these instances?: instance Typeable1 Complex instance (Data a, RealFloat a) => Data (Complex a) p194(178) "module Complex" -> "module Data.Complex" p195(179) Bad indentation in the Fractional instance p197(181) "see the section of the Haskell report dealing with arithmetic sequences)" should be a link p201(185) three bullet points are indented more than the other one C20: There are a number of references to "Data.List.foo" rather than just "foo", presumably from when the docs were in the Prelude rather than Data.List C20: In example, sometimes "==" is used but in other cases "->" is used p222(206) "module Maybe" -> "module Data.Maybe" p226(210) "module Ratio" -> "module Data.Ratio" p227(211) Bad indentation in Show instance p229(213) I don't understand "One non-obvious consequence of this is that negate should not raise an error on negative arguments." p229(213) "see the section of the Haskell report dealing with arithmetic sequences" should be a link p235(219) Do you mean to have these instances?: instance Typeable ExitCode instance Exception ExitCode p236(220) "sucessfully" -> "successfully" p244(228) "Construct a Haskell 98 I/O error" p245(229) "additionlly" -> "additionally" p252(236) onwards: Lots of Typeable instances, and Typeable is also given in the list of classes in the 30.1.1, 30.1.2 and 30.1.3 opening paragraphs. p258(242) Talks about Data.Time p262(246) "A Finalizer" -> "A finalizer" p262(246) "like addForeignPtrFinalizerEnv" -> "Like addForeignPtrFinalizerEnv" p263(247) Mentions MVars p263(247) I don't think there should be GHC notes in the report p270(254) Delete "This version traverses the array backwards using an accumulating parameter, which uses constant stack space. The previous version using mapM needed linear stack space." p276(260) "marshall" -> "marshal" p278(262) Why is e.g. "Char" unqualified but "Prelude.Double" qualified? p285(269) Do you mean to have these instances?: instance Storable WordPtr instance Storable IntPtr p289(273) "System.IO.openFile" -> "openFile" p291(275) "System.IO.hFlush" -> "hFlush" (twice) p291(275) "System.IO.hlookAhead" -> "hlookAhead" Thanks Ian