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@haskell.org [mailto:haskell-cafe-bounces@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@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe