patch applied (ghc): Tidy tyvar OccNames in TcTyClDecl
Simon Peyton Jones
simonpj at microsoft.com
Wed Oct 4 08:18:00 EDT 2006
Wed Oct 4 05:12:39 PDT 2006 simonpj at microsoft.com
* Tidy tyvar OccNames in TcTyClDecl
We want the universal and existential tyvars of a data constructor to
have distinct OccNames. It's confusing if they don't (in error messages,
for example), and with the current way of generating IfaceSyn, it actally
generates bogus interface files. (Which bit Roman.)
When IfaceSyn is full of Names, this won't matter so much, but it still
seems cleaner.
This patch adds a 'tidy' step to the generation of DataCon type
variables in TcTyClDecls.tcResultType
M ./compiler/basicTypes/DataCon.lhs +3
M ./compiler/typecheck/TcTyClsDecls.lhs -14 +27
More information about the Cvs-ghc
mailing list