Add note about renaming of pattern synonym wrappers
authorDr. ERDI Gergo <gergo@erdi.hu>
Tue, 29 Jul 2014 09:28:33 +0000 (11:28 +0200)
committerDr. ERDI Gergo <gergo@erdi.hu>
Tue, 29 Jul 2014 13:44:31 +0000 (15:44 +0200)
commit3219ed9629a75b3b8b6757ee3ab5a8acc70f6900
treedfa9e6294ff78c4f0281ab40abb5c751732ee1ab
parent893a261c8c15783c8f86c74f4e8c57df9c44a155
Add note about renaming of pattern synonym wrappers
compiler/rename/RnBinds.lhs
compiler/typecheck/TcBinds.lhs