| However, one thing will probably not be answered there, since it is more of an | implementation issue: Is there any function that will guarantee all Uniques in | a CoreExpr will be completely unique? This is stronger than de-shadowing, | since I also want Uniques in completely different branches of the expression | to be different. Not at the moment. | I need this, since I want to keep a global table with a mapping from a Unique | to some values (mostly related to naming). I might be able to pull this off | with some hard thinking and non-unique Uniques, but it would help a lot if I | didn't need to. | | If there isn't, I'll probably write something up (shouldn't be too hard I | guess). Would there be any interest to include this in the GHC API? Or is the | GHC API limited to what GHC itself uses? I think the best way would be to make a new package that depends on the GHC package. That's what Cabal is so good for! Simon