[Haskell-cafe] types and braces

[Simon Peyton-Jones]

Conor

See this, which I've just written for you:
http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Parser

(Others: please do add to this new Commentary page.)

In any case, my guess is that adding

atype ::= '{' qcon '}'

ought not to introduce ambiguities.  You don't want all of 'exp' (yet) do you?

Simon

| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On
| Behalf Of Conor McBride
| Sent: 15 April 2009 16:13
| To: Lennart Augustsson
| Cc: Haskell Cafe
| Subject: Re: [Haskell-cafe] types and braces
|
|
| On 15 Apr 2009, at 16:01, Lennart Augustsson wrote:
|
| > I'd suggest using some different kind of brackets to relieve the
| > misery, like {| |}.
|
| That would speed up my tinkering, certainly.
|
| I did have a d'oh moment: you can write
|
|    data Foo = Moo {goo :: Int}  -- braces where a type goes
|
| and indeed, commenting out field declarations makes happy
| happy. However, these { exp } guys never stand as types of
| things, only as parameters of types, so it might be possible
| to resolve the problem without fat brackets. Whether it's
| worth it is another matter...
|
| Cheers
|
| Conor
|
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe