Haskell 2010 draft report

Ian Lynagh igloo at earth.li
Sun May 2 08:57:46 EDT 2010

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.

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


More information about the Haskell-prime mailing list