Fix Trac #2520: duplicate symbols
authorsimonpj@microsoft.com <unknown>
Wed, 27 Aug 2008 15:27:28 +0000 (15:27 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 27 Aug 2008 15:27:28 +0000 (15:27 +0000)
commita1a96ab952241f1ffbe3e3246bc2fb1715bbcf3b
tree069c8bd66174df9e9faefe805b15ad5e1e9db057
parent519e79eac7b8c0cdabccc70e0e9477d389c14c98
Fix Trac #2520: duplicate symbols

The problem here was that were were quantifying over an *External* Name,
which causes no end of confusion.  See Note [Const rule dicts] in DsBinds.

The fix is very easy, I'm happy to say.
compiler/deSugar/DsBinds.lhs