Haskell 2010 draft report

Simon Marlow marlowsd at gmail.com
Tue May 4 07:30:31 EDT 2010

On 02/05/2010 13:57, Ian Lynagh wrote:
> On Fri, Apr 30, 2010 at 05:05:17PM +0100, Simon Marlow wrote:
>> I'd appreciate a few more eyes over this, in particular look out for
>> messed up typesetting as there could still be a few bugs lurking.
> In the PDF:
> p129-137: A "program" can only contain a "modid" as part of a
>            "qvarid", ..., "qconsym", but e.g. a "module" needs a
>            bare "modid". May be best to defer fixing this, and
>            tidy up the syntax definition in H2011.
> p152: There's a huge amount of whitespace between "dclass" and "inst"
> p153: Same "guard  -->   pat<- infixexp" comment as on p37 (GHC bug?).
> p153: Same "guard  -->   infixexp" comment as on p37 (GHC bug?).
> p153: RHS of "gdrhs" production should be purple (as on p66)
> p154: As on p42, the negative literal alternative in pat is redundant
> p156: The argument to resolve doesn't have to strictly alternate, e.g.
>        "id $ - three".
> p156: The program needs an "import Control.Monad"
> p156: The program should derive Show for everything
> p157: In one case (in the penultimate paragraph) "-" is quoted and short,
>        while earlier uses are bare and long.

All fixed, thanks.

> p159: Is this legal?:
>            {-# LANGUAGE EmptyDataDecls #-}
>            data Foo
>                deriving ()
>        GHC accepts it, but hugs says (unexpected keyword "deriving")

Yes, it's legal according to the grammar.


More information about the Haskell-prime mailing list