Fix a lint bug with coercions
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 6 Aug 2006 21:21:11 +0000 (21:21 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 6 Aug 2006 21:21:11 +0000 (21:21 +0000)
commit9b8b019d635218d9b52ddf0f5ea2b168e6f69cf4
tree6e8f908374231937804f72eb5e6be1cd2a7db8c0
parentdf540a334232b9f2da702e48e1ebaf4b289997bc
Fix a lint bug with coercions
Wed Jul 26 08:18:25 EDT 2006  simonpj@microsoft.com
compiler/coreSyn/CoreLint.lhs