Add more location info in CoreLint
authorsimonpj@microsoft.com <unknown>
Thu, 16 Sep 2010 17:02:29 +0000 (17:02 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 16 Sep 2010 17:02:29 +0000 (17:02 +0000)
commit8d6feaef4dce4c9256817be8e7e6da25c21d23d7
treeb05e3c832d26fd28b3948519ca66dfb0ae000732
parent6f8f947cfc93a136a3b636017072bd3664b87b9e
Add more location info in CoreLint
compiler/coreSyn/CoreLint.lhs