Add comments & notes explaining the typing of pattern synonym definitions
authorDr. ERDI Gergo <gergo@erdi.hu>
Tue, 8 Apr 2014 14:29:23 +0000 (22:29 +0800)
committerDr. ERDI Gergo <gergo@erdi.hu>
Tue, 8 Apr 2014 14:29:23 +0000 (22:29 +0800)
commitd2c4f9758ca735f294033401efef225699c292f8
treea5864f2a9ca0ecc5c70d76ccc712018d4ffd2f61
parent17c955402871862dea5021e0b83b0949da5e51e7
Add comments & notes explaining the typing of pattern synonym definitions
compiler/typecheck/TcPatSyn.lhs