Re: Second draft of the Haskell 2010 report available

2010-07-08 Thread Christian Maeder
Simon Marlow schrieb: If we changed patterns in the same way as you suggest for expressions above, then this would become clearer, right? By this change you would loose the important restriction that - is only legal to denote negated (integer or float) constants, which would then move from the

Re: Second draft of the Haskell 2010 report available

2010-07-07 Thread Simon Marlow
On 06/07/2010 13:17, Christian Maeder wrote: http://www.haskell.org/~simonmar/haskell-2010-draft-report-2/haskellch3.html infixexp → lexp qop infixexp (infix operator application) | - infixexp(prefix negation) | lexp This grammar rule describes a right

Re: Second draft of the Haskell 2010 report available

2010-07-07 Thread Christian Maeder
Simon Marlow schrieb: prefix negation should move to lexp to be consistent with lpat prefix negation should not move to lexp, because this would rule out - 1 ^ 2 as negated infix expression - (1 ^ 2), whereas a negated infix pattern is impossible. Unary minus is no constructor and cannot be

Re: Second draft of the Haskell 2010 report available

2010-07-06 Thread Christian Maeder
http://www.haskell.org/~simonmar/haskell-2010-draft-report-2/haskellch3.html infixexp → lexp qop infixexp (infix operator application) | - infixexp(prefix negation) | lexp This grammar rule describes a right associative nesting of (any) infix operators

Re: Second draft of the Haskell 2010 report available

2010-07-06 Thread Nick Bowler
On 16:01 Tue 29 Jun , Simon Marlow wrote: Comments on the draft report are welcome, before I finalise this and sign off on Haskell 2010. Part II, The Haskell 2010 Libraries, appears to be completely missing the Numeric module. -- Nick Bowler, Elliptic Technologies

Re: [Haskell] Second draft of the Haskell 2010 report available

2010-06-30 Thread Simon Marlow
On 29/06/2010 23:31, Henk-Jan van Tuyl wrote: On Tue, 29 Jun 2010 17:01:54 +0200, Simon Marlow marlo...@gmail.com wrote: Comments on the draft report are welcome, before I finalise this and sign off on Haskell 2010. Subsection 12.3, Language extensions, mentions the FFI as a language

Re: Second draft of the Haskell 2010 report available

2010-06-30 Thread Simon Marlow
On 29/06/2010 16:38, malcolm.wallace wrote: In Foreign.C.Error, the table of values of errno causes an unfortunate page break, and it overflows the fresh page as well. (As in, some values are invisible beyond the bottom of the page, rather than flowing onto the next.) Well spotted, thanks.

Re: Second draft of the Haskell 2010 report available

2010-06-30 Thread Ian Lynagh
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

Second draft of the Haskell 2010 report available

2010-06-29 Thread Simon Marlow
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 relative to the first draft, which was

Re: Second draft of the Haskell 2010 report available

2010-06-29 Thread malcolm.wallace
In Foreign.C.Error, the table of values of errno causes an unfortunate page break, and it overflows the fresh page as well. (As in, some values are invisible beyond the bottom of the page, rather than flowing onto the next.)Regards, Malcolm Comments on the draft report are welcome, before I

Re: Second draft of the Haskell 2010 report available

2010-06-29 Thread Malcolm Wallace
I have now updated the libraries too. Rather than update all the library documentation manually, I (perhaps rashly) decided to make a LaTeX backend for Haddock instead, and generate the report automatically from the library source code. Perhaps I should have mentioned (before sending a