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

[Dr. ERDI Gergo]

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 at erdi.hu =-------'
A tojások csirkékkel szaporodnak.