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 erdi.hu
Wed Nov 26 00:59:16 UTC 2014
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.
More information about the ghc-devs
mailing list