patch applied (ghc): add assertion to check that UniqFM is only
passed "positive" uniques
dias at eecs.harvard.edu
Thu Sep 4 11:11:19 EDT 2008
Thu Sep 4 06:51:55 PDT 2008 dias at eecs.harvard.edu
* add assertion to check that UniqFM is only passed "positive" uniques
The insertion code in UniqFM fails if a unique key
produces a negative FastInt. I've added an assertion to check
that each insertion uses a positive Unique.
Where do the negative uniques come from? Both Simom M and
I have run into this problem when computing hashes for data structures.
In both cases, we have avoided the problem by ensuring that
the hashes remain positive.
M ./compiler/utils/UniqFM.lhs -1 +21
View patch online:
More information about the Cvs-ghc