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.
Cheers,
Simon
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
