Alpha-rename a variable
authorIan Lynagh <igloo@earth.li>
Tue, 10 Jul 2007 23:33:08 +0000 (23:33 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 10 Jul 2007 23:33:08 +0000 (23:33 +0000)
commit7d128d0f8d8e657cdad4b9e422aa4650111c77cf
tree8a38889c735f57d80974866c935d126b1c64bd68
parentc5c5f430c9c5538bb2326ead92e5141448ed3c2a
Alpha-rename a variable
compiler/rename/RnTypes.lhs