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

Dr. ERDI Gergo gergo at
Wed Nov 26 00:59:16 UTC 2014


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.


   .--= ULLA! =-----------------.
    \   \
     `---= gergo at =-------'
A tojások csirkékkel szaporodnak.

More information about the ghc-devs mailing list