Back-porting pattern synonym type signature syntax for GHC 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]

Hi, Now that we know what the syntax of pattern synonym type signatures is going to be for GHC 7.10, would it make sense / is it not too late to backport that same syntax to 7.8.4? To recap, 7.8 doesn't support adding type signatures to pattern synonyms, but GHCi's ":i" and Haddock both need to produce output which has them. There's a horrible hacked-together syntax in 7.8 which is very much *not* the syntax that will be used in 7.10. Thanks, Gergo -- .--= ULLA! =-----------------. \ http://gergo.erdi.hu \ `---= gergo@erdi.hu =-------' A tojások csirkékkel szaporodnak.